default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st RWLW 1996: Pacific Grove, CA, USA
- José Meseguer:
First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996. Electronic Notes in Theoretical Computer Science 4, Elsevier 1996 - Fabio Gadducci
, Ugo Montanari:
Tiles, rewriting rules and CCS. 1-19 - Hiroyuki Miyoshi:
Modelling conditional rewriting logic in structured categories. 20-34 - Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek:
ELAN: A logical framework based on computational systems. 35-50 - Patrick Viry:
Input/Output for ELAN. 51-64 - Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer:
Principles of Maude. 65-89 - Steven Eker:
Fast matching in combinations of regular equational theories. 90-109 - Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli:
Distributed logic objects: A fragment of rewriting logic and its implementation. 110-125 - Manuel Clavel, José Meseguer:
Reflection and strategies in rewriting logic. 126-148 - Hélène Kirchner, Pierre-Etienne Moreau:
A reflective extension of ELAN. 149-168 - Peter Borovanský, Claude Kirchner, Hélène Kirchner:
Controlling rewriting by rewriting. 169-189 - Narciso Martí-Oliet, José Meseguer:
Rewriting logic as a logical and semantic framework. 190-225 - Razvan Diaconescu:
Foundations of behavioural specification in rewriting logic. 226-245 - Carlos Castro:
Solving binary CSP using computational systems. 246-265 - W. Marco Schorlemmer:
Bi-rewriting rewriting logic. 266-283 - Peter Csaba Ölveczky, José Meseguer:
Specifying real-time systems in rewriting logic. 284-309 - Christopher Landauer:
Discrete event systems in rewriting logic. 310-321 - Martin Wirsing, Alexander Knapp:
A formal approach to object-oriented software engineering. 322-360 - Carolyn L. Talcott:
An actor rewriting theory. 361-384 - Ulrike Lechner:
Object-oriented specifications of distributed systems in the mu-Calculus and Maude. 385-404 - Isabel Pita, Narciso Martí-Oliet:
A Maude specification of an object-oriented database model for telecommunication networks. 405-423 - José Meseguer:
Preface. 424-425
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
