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

153 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
114 R.A.: ÔÇťAmalgamating language and metalanguage in logic programming – K A Bowen, Kowalski - 1982
533 A Computational Logic – R BOYER, J 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 procedures – Robert S Boyer, J Strother Moore - 1981
19 Program Tactics and Logic Tactics – Fausto Giunchiglia, Paolo Traverso - 1994
225 Natural Deduction, A Proof-Theoretical Study. Almqvist and Wiskell – Dag Prawitz - 1965
37 Computational Metatheory in Nuprl – Douglas J Howe - 1988
267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 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
422 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
99 Edinburgh LCF: a mechanized logic of computation – Michael Gordon, Robin Milner, Christopher Wadsworth - 1979
13 Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics – Fausto Giunchiglia , Luciano Serafini, Alex Simpson - 1991