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:363 - 56 self