default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd WRLA 1998: Pont-à-Mousson, France
- Claude Kirchner, Hélène Kirchner:
1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998. Electronic Notes in Theoretical Computer Science 15, Elsevier 1998 - Peter Borovanský, Carlos Castro:
Cooperation of constraint solvers: using the new process control facilities of ELAN. 1-20 - Patrick Viry:
Adventures in sequent calculus modulo equations. 21-32 - José Meseguer, Carolyn L. Talcott:
Mapping OMRS to rewriting logic. 33-54 - Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen:
An overview of ELAN. 55-70 - Manuel Clavel:
Reflection in general logics, rewriting logic, and Maude. 71-82 - L. J. Steggles, Piotr Kosiuczenko:
A timed rewriting logic semantics for SDL: A case study of alternating bit protocol. 83-104 - Grit Denker:
From rewrite theories to temporal logic theories. 105-126 - Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio:
The OMRS project: state of the art. 127-146 - Manuel Clavel, Francisco Durán
, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Maude as a metalanguage. 147-160 - Roberto Bruni:
A logic for modular descriptions of asynchronous and synchronized concurrent systems. 161-172 - Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen:
Handling ELAN rewrite programs via an exchange format. 173 - Francisco Durán, José Meseguer:
An extensible module algebra for Maude. 174-195 - W. Marco Schorlemmer:
Rewriting logic as a logic of special relations. 196-217 - Mark van den Brand, Paul Klint, Chris Verhoef:
Term rewriting for sale. 218-241 - Michihiro Matsumoto, Kokichi Futatsugi:
Test set coinduction - Toward automated verification of behavioural properties. 242-262 - Roberto Bruni, José Meseguer, Ugo Montanari:
Internal strategies in a rewriting implementation of tile systems. 263-284 - Razvan Diaconescu, Kokichi Futatsugi:
An overview of CafeOBJ. 285-298 - Peter Borovanský:
Controlling rewriting: study and implementation of a strategy formalism. 299-310 - Steven Eker:
Term rewriting with operator evaluation strategies. 311-330 - Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer:
Metalevel computation in Maude. 331-352 - David A. Basin, Seán Matthews:
Scoped metatheorems. 353-366 - Claude Kirchner, Hélène Kirchner:
Preface. 367-368 - Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci:
CCS semantics via proved transition systems and rewriting logic. 369-387 - Jean-Pierre Jouannaud:
Membership equational logic, calculus of inductive instructions, and rewrite logic. 388-393 - Ulrike Lechner:
Object-oriented specification of distributed systems. 394-403 - Peter D. Mosses:
Semantics, modularity, and rewriting logic. 404-421 - Eelco Visser, Zine-El-Abidine Benaissa:
A core language for rewriting. 422-441
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-10-31 20:18 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:
