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