Back to Results
First PageMeta Content
Propositional calculus / Logical syntax / Inference / Logical truth / Natural deduction / Sequent calculus / First-order logic / Rule of inference / Sequent / Logic / Mathematical logic / Proof theory


Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades
Add to Reading List

Document Date: 2004-03-12 06:11:33

Open Document

File Size: 636,30 KB

Share Result on Facebook

City

Dresden / Bern / /

Event

Person Communication and Meetings / /

IndustryTerm

deductive systems / sequent systems / /

OperatingSystem

Sequent / /

Organization

Ecole Polytechnique Tag / /

Person

Michel Parigot / Lutz Straßburger / Alessio Guglielmi Gutachter / Paola Bruscoli / Kai Br / Horst Reichel / Alwen Fernanto Tiu / Charles Stewart / Dale Miller / /

SocialTag