Program Tactics and Logic Tactics (1994)

Cached

Download Links

by Fausto Giunchiglia , Paolo Traverso
Venue:IN PROCEEDINGS 5TH INTNL. CONFERENCE ON LOGIC PROGRAMMING AND AUTOMATED REASONING (LPAR'94
Citations:19 - 10 self

Documents Related by Co-Citation

22 A Metatheory of a Mechanized Object Theory – Fausto Giunchiglia, Paolo Traverso - 1994
25 The GETFOL Manual - GETFOL version 1 – F Giunchiglia - 1992
153 Prolegomena to a theory of mechanized formal reasoning – R W Weyhrauch - 1980
225 Natural Deduction, A Proof-Theoretical Study. Almqvist and Wiskell – Dag Prawitz - 1965
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
126 The Oyster–Clam system – A Bundy, F Van Harnelen, C Horn, A Smaill
15 Introspective Metatheoretic Reasoning – Fausto Giunchiglia, Alessandro Cimatti - 1994
99 Edinburgh LCF: a mechanized logic of computation – Michael Gordon, Robin Milner, Christopher Wadsworth - 1979
8 Adapting Methods to Novel Tasks in Proof Planning – Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts - 1994
162 Rippling: A Heuristic for Guiding Inductive Proofs – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill - 1993
52 Problem solving and cognitive skill acquisition – K Van Lehn - 1989
54 The Use of Planning Critics in Mechanizing Inductive Proofs – Andrew Ireland - 1992
12 FOL User Manual - FOL version 2 – F Giunchiglia, R W Weyhrauch - 1991
267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
102 Metafunctions: proving them correct and using them efficiently as new proof procedures – Robert S Boyer, J Strother Moore - 1981
422 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
854 A formulation of the simple theory of types – Alonzo Church - 1940
28 A metalanguage for interactive proof in LCF – Michael J C Gordon, Robin Milner, L Morris, Malcolm C Newey, Christopher P Wadsworth - 1978