Tactics in modern proof-assistants: The bad habit of overkilling (2001)

by Claudio Sacerdoti Coen
Venue:Division of Informatics, University of Edinburgh
Add To MetaCart
Results 1 - 2 of 2

Proofs, Programs and Executable Specifications in Higher Order Logic

by Technische Universität München, Technische Universität München, Stefan Berghofer, Stefan Berghofer - PhD thesis, Institut für Informatik , 2003
"... zur Erlangung des akademischen Grades eines genehmigten Dissertation. Doktors der Naturwissenschaften (Dr. rer. nat.) Vorsitzender: Univ.-Prof. Dr. Dr. h.c. Wilfried Brauer ..."
Abstract - Cited by 8 (2 self) - Add to MetaCart
zur Erlangung des akademischen Grades eines genehmigten Dissertation. Doktors der Naturwissenschaften (Dr. rer. nat.) Vorsitzender: Univ.-Prof. Dr. Dr. h.c. Wilfried Brauer

Knowledge Management of Formal Mathematics and Interactive Theorem Proving

by Claudio Sacerdoti Coen , 2004
"... ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
Abstract not found