Back to Results
First PageMeta Content
Proof theory / Propositional calculus / Non-classical logic / Deduction / Automated theorem proving / Sequent calculus / Natural deduction / Admissible rule / Intuitionistic logic / Logic / Mathematical logic / Mathematics


A Tutorial on Proof Theoretic Foundations of Logic Programming
Add to Reading List

Document Date: 2005-09-20 10:33:36

Open Document

File Size: 171,44 KB

Share Result on Facebook
UPDATE