Back to Results
First PageMeta Content
Proof theory / Logic in computer science / Automated theorem proving / Propositional calculus / Logical syntax / Frege system / Sequent / Proof calculus / Proof complexity / Logic / Mathematical logic / Theoretical computer science


Proof complexity of propositional default logic
Add to Reading List

Document Date: 2014-06-05 13:45:53

Open Document

File Size: 297,00 KB

Share Result on Facebook
UPDATE