Back to Results
First PageMeta Content
Mathematical logic / Metalogic / Logic / Proof theory / X0 / First-order logic / Leitsch / Sequent calculus


System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal
Add to Reading List

Document Date: 2012-07-25 07:17:52


Open Document

File Size: 220,14 KB

Share Result on Facebook
UPDATE