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

Active Bibliography

22 A Metatheory of a Mechanized Object Theory – Fausto Giunchiglia, Paolo Traverso - 1994
1 Towards Provably Correct System Synthesis And Extension – F. Giunchiglia, P. Pecchiari, A. Armando - 1996
3 Computational Reflection Via Mechanized Logical Deduction – A. Cimatti, P. Traverso - 1993
La Deduzione Automatica – Fausto Giunchiglia, Paolo Traverso, Luciano Serafini - 1994
15 Introspective Metatheoretic Reasoning – Fausto Giunchiglia, Alessandro Cimatti - 1994
Building and Executing Proof Strategies in a Formal Metatheory – Istituto Trentino Di Cultura, Alessandro Armando, Alessandro Armando, Alessandro Cimatti, Alessandro Cimatti - 1993
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989