First-Order Proof Tactics in Higher-Order Logic Theorem Provers
Workshop, Design and application of strategies / tactics in higher order logics ; 2003 ; Rome
2003-01-01
13 pages
Known as STRATA 2003
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Program tactics and logic tactics
TIBKAT | 1993
|Calibron's provers prove reliable
British Library Online Contents | 2006
Higher-Order Pattern Unification and Proof Irrelevance
British Library Conference Proceedings | 2002
|STORAGE TERMINALS - Calibron's provers prove reliable
Online Contents | 2006
Online Contents | 2008