Membership Algebra as a Logical Framework for Equational Specification (1998)

Cached

Download Links

by José Meseguer , A Mi Madre , Fuensanta Guaita De Meseguer
Citations:142 - 46 self

Active Bibliography

147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
13 Formal Interoperability – José Meseguer - 1998
A Reflective Framework for Formal Interoperability – José Meseguer, Carolyn Talcott
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
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
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
5 Representations, Hierarchies, and Graphs of Institutions – Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, Horst Reichel, Pepe Meseguer, Bernd Krieg-bruckner, Maura Cerioli, Valentin Antimirov - 1996
17 Equivalences among Various Logical Frameworks of Partial Algebras – Till Mossakowski - 1996
3 Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods – Till Mossakowski
Mathematical and Engineering Foundations for Interoperability via Architecture – John McCarthy, Carolyn Talcott, José Meseguer, Armando Haeberer - 1998
8 A Total Approach to Partial Algebraic Specification – José Meseguer, Grigore Rosu - 2002
9 A Maude Tutorial – M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, J. F. Quesada - 2000
2 Formal modeling and analysis of distributed systems – Peter Csaba Ölveczky - 2008
7 The Maude Specification of Full Maude – Francisco Durán, José Meseguer - 1999
A Logic for Rewriting Strategies – Richard Kieburtz Oregon, Richard B. Kieburtz - 2001
15 Internal Strategies in a Rewriting Implementation of Tile Systems – R. Bruni, J. Meseguer, U. Montanari - 1998