Computational Reflection Via Mechanized Logical Deduction (1993)

Cached

Download Links

by A. Cimatti , P. Traverso
Citations:3 - 0 self

Active Bibliography

22 A Metatheory of a Mechanized Object Theory – Fausto Giunchiglia, Paolo Traverso - 1994
19 Program Tactics and Logic Tactics – Fausto Giunchiglia, Paolo Traverso - 1994
1 Towards provably correct system synthesis and extension – Fausto Giunchiglia, Paolo Pecchiari, Alessandro Armando - 1996
15 Introspective Metatheoretic Reasoning – Fausto Giunchiglia, Alessandro Cimatti - 1994
8 A Multi-context Architecture for Formalizing Complex Reasoning – E. Giunchiglia, P. Traverso, Istituto Trentino Di Cultura, Enrico Giunchiglia, Paolo Traverso - 1995
Valid Extensions of Introspective Systems: A Foundation for Reflective Theorem Provers – Arno Schönegge - 1994
La Deduzione Automatica – F. Giunchiglia, Paolo Traverso, L. Serafini, La Deduzione Automatica, La Deduzione Automatica, Fausto Giunchiglia, Paolo Traverso, Luciano Serafini
First Steps Towards Correct System Synthesis of System Code – Fausto Giunchiglia, Alessandro Armando, Alessandro Cimatti, Paolo Traverso - 1995
178 Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) – Fausto Giunchiglia, Luciano Serafini - 1994
10 Meta-reasoning: a Survey – Stefania Costantini - 2002
1 A System for Multi-Level Mathematical Reasoning – F. Giunchiglia, Paolo Traverso, Istituto Trentino Di Cultura, Fausto Giunchiglia, Paolo Traverso - 1990
23 Reflective Reasoning With and Between a Declarative Metatheory and the Implementation Code – Fausto Giunchiglia, Paolo Traverso - 1994
4 A reflective extension of ELAN – Hélène Kirchner, Pierre-etienne Moreau - 1996
Open Mechanized Reasoning Systems – John McCarthy, Fausto Giunchiglia, Carolyn Talcott - 1992
35 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
6 Automating Meta-Theory Creation and System Extension – David Basin, Fausto Giunchiglia, Paolo Traverso - 1991
13 Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics – Fausto Giunchiglia , Luciano Serafini, Alex Simpson - 1991
3 MRG: Building planners for real world complex applications – Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Enrico Giunchiglia, Alessandro Armando - 1994
A Many Sorted Natural Deduction – Alessandro Cimatti, Fausto Giunchiglia, Richard Weyhrauch, Istituto Trentino Di Cultura, A. Cimatti, F. Giunchiglia, R. W. Weyhrauch - 1994