Reflection and Strategies in Rewriting Logic (1996)

Cached

Download Links

by Manuel Clavel
Citations:61 - 27 self

Active Bibliography

147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
1 Reflection in Rewriting Logic and its Applications in the Maude Language – Manuel Clavel, José Meseguer - 1997
12 Formal Interoperability – José Meseguer - 1998
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
35 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
6 On Extensibility of Proof Checkers – Robert Pollack - 1995
10 Reflection in membership equational logic, many-sorted equational logic, horn logic with equality, and rewriting logic – Manuel Clavel, José Meseguer - 2002
31 Research Directions in Rewriting Logic – José Meseguer - 1998
38 Building Equational Proving Tools by Reflection in Rewriting Logic – Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer - 1998
32 Mapping Tile Logic into Rewriting Logic – J. Meseguer - 1998
33 Process and Term Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1998
16 Rewriting Logic as a Metalogical Framework – David Basin, Manuel Clavel, José Meseguer - 2000
22 Automata-Driven Automated Induction – Adel Bouhoula, Jean-pierre Jouannaud - 1996
11 Metalevel Computation in Maude – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer - 1998
170 Maude: Specification and Programming in Rewriting Logic – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 2001
142 Membership Algebra as a Logical Framework for Equational Specification – José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer - 1998
Intuitionisitic Tableau Extracted – James Caldwell - 1999
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
1 Extracting Propositional Decidability: A proof of propositional decidability in constructive type theory and its extracted program. – James L. Caldwell - 1997