System Description: Twelf --- A Meta-Logical Framework for Deductive Systems (1999)

by Frank Pfenning , Carsten Schurmann
Venue:Proceedings of the 16th International Conference on Automated Deduction (CADE-16
Citations:315 - 49 self

Document Versions

System Description: Twelf --- A Meta-Logical Framework for Deductive Systems –Frank Pfenning, Carsten Schurmann — 1999 — Proceedings of the 16th International Conference on Automated Deduction (CADE-16
System Description: Twelf - A Meta-Logical Framework for Deductive Systems –Frank Pfenning, Carsten Schürmann — 1999 — Proceedings of the 16th International Conference on Automated Deduction (CADE-16
System description: Twelf — A meta-logical framework for deductive systems –Frank Pfenning, Carsten Schürmann — 1999 — Proceedings of the 16th International Conference on Automated Deduction (CADE-16