Rewriting Logic as a Logical and Semantic Framework (1993)

by Narciso Martí-Oliet , José Meseguer
Citations:147 - 52 self

Documents Related by Co-Citation

472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
135 A logical theory of concurrent objects and its realization in the Maude language – J Meseguer - 1993
35 Reflection in general logics and in rewriting logic, with applications to the Maude language – M Clavel - 1998
123 Principles of Maude – Clavel Eker, M. Clavel, S. Eker, J. Meseguer - 1996
35 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
16 Rewriting: An Effective Model of Concurrency – P Viry - 1994
42 A characterisation of computable data types by means of a finite equational specification method – J A Bergstra, J V Tucker - 1980
61 Reflection and Strategies in Rewriting Logic – Manuel Clavel - 1996
60 Designing Constraint Logic Programming Languages using Computational Systems – C KIRCHNER, H KIRCHNER, M VITTEK - 1993
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
59 Rewriting as a unified model of concurrency – Jose Meseguer - 1990
14 Cafe as an extensible specification environment – K Futatsugi, T Sawada - 1994
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
19 An Introduction to Maude (Beta Version – M Clavel, F Durn, S Eker, P Lincoln, J Meseguer - 1998
46 José Meseguer, Kokichi Futatsugi and JeanPierre Jouannaud. Introducing OBJ – Joseph Goguen, Timothy Winkler - 2000
104 Specification and Proof in Membership Equational Logic – Adel Bouhoula, Jean-pierre Jouannaud, Jos'e Meseguer - 1996
34 Parallel programming in Maude – J Meseguer, T Winkler
168 General logics – José Meseguer - 1989
26 General logics and logical frameworks – N Marti-Oliet, J Meseguer