Back to Results
First PageMeta Content
Mathematics / Cut-elimination theorem / Sequent calculus / Sequent / Gerhard Gentzen / Natural deduction / Proof theory / Mathematical logic / Logic


An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (Ecole
Add to Reading List

Document Date: 2015-01-06 05:29:08

Open Document

File Size: 196,12 KB

Share Result on Facebook

City

Lyon / /

OperatingSystem

Sequent / /

Organization

Ecole Normale Sup´ / /

Person

Guillaume Burel / Claude Kirchner / /

SocialTag