DMCA
System Description: Twelf --- A Meta-Logical Framework for Deductive Systems (1999)
Cached
Download Links
by
Frank Pfenning
,
Carsten Schurmann
Venue: | Proceedings of the 16th International Conference on Automated Deduction (CADE-16 |
Citations: | 357 - 54 self |