A Metatheory of a Mechanized Object Theory (1994)

Cached

Download Links

by Fausto Giunchiglia , Paolo Traverso
Citations:22 - 10 self

Documents Related by Co-Citation

153 Prolegomena to a theory of mechanized formal reasoning – R W Weyhrauch - 1980
224 Natural Deduction - A proof-theoretical study; Almqvist – Dag PRAWITZ - 1965
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
25 The GETFOL Manual - GETFOL version 1 – F Giunchiglia - 1992
180 Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) – Fausto Giunchiglia, Luciano Serafini - 1994
19 Program Tactics and Logic Tactics – Fausto Giunchiglia, Paolo Traverso - 1994
23 Reflective Reasoning With and Between a Declarative Metatheory and the Implementation Code – Fausto Giunchiglia, Paolo Traverso - 1994
15 Introspective Metatheoretic Reasoning – Fausto Giunchiglia, Alessandro Cimatti - 1994
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989