Introspective Metatheoretic Reasoning (1994)

Cached

Download Links

by Fausto Giunchiglia , Alessandro Cimatti
Venue:IN PROC. OF META-94, WORKSHOP ON METAPROGRAMMING IN LOGIC
Citations:15 - 6 self

Documents Related by Co-Citation

154 Prolegomena to a theory of mechanized formal reasoning – R W Weyhrauch - 1980
22 A Metatheory of a Mechanized Object Theory – Fausto Giunchiglia, Paolo Traverso - 1994
115 Amalgamating language and metalanguage in logic programming – K Bowen, R Kowalski - 1982
531 A Computational' Logic – R S Boyer, J S Moore - 1979
23 Reflective Reasoning With and Between a Declarative Metatheory and the Implementation Code – Fausto Giunchiglia, Paolo Traverso - 1994
25 The GETFOL Manual - GETFOL version 1 – F Giunchiglia - 1992
102 Metafunctions: proving them correct and using them efficiently as new proof proceedures – R S Boyer, J Strother Moore - 1981
19 Program Tactics and Logic Tactics – Fausto Giunchiglia, Paolo Traverso - 1994
224 Natural Deduction. A Proof-Theoretical Study. Almquist and Wiksell – D Prawitz - 1965
267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
37 Computational Metatheory in Nuprl – Douglas J Howe - 1988
4 Architetture Riflessive per la Deduzione Automatica – A Armando - 1993
5 HGKM Manual - a revised version – F Giunchiglia, A Cimatti - 1989
6 Automating Meta-Theory Creation and System Extension – David Basin, Fausto Giunchiglia, Paolo Traverso - 1991
28 A metalanguage for interactive proof in LCF – Michael J C Gordon, Robin Milner, L Morris, Malcolm C Newey, Christopher P Wadsworth - 1978
24 A Theorem Prover for a Computational Logic – Robert S. Boyer, J Strother Moore - 1990
100 Edinburgh LCF: a mechanized logic of computation – M Gordon, R Milner, C Wadsworth - 1979
421 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
13 Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics – Fausto Giunchiglia , Luciano Serafini, Alex Simpson - 1991