IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998 (Q1273563)

The articles of this volume will be reviewed individually. The preceding workshop (1st, 1996) has been reviewed in Zbl 0903.00068. Indexed articles: \textit{Basin, David; Matthews, Seán}, Scoped metatheorems, electronic paper No. 2 [Zbl 0917.68197] \textit{Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.}, Metalevel computation in Maude, electronic paper No. 3 [Zbl 0917.68024] \textit{Visser, Eelco; Benaissa, Zine-el-Abidine}, A core language for rewriting, electronic paper No. 4 [Zbl 0917.68098] \textit{Eker, Steven}, Term rewriting with operator evaluation strategies, electronic paper No. 5 [Zbl 0917.68113] \textit{Borovanský, Peter}, Controlling rewriting: Study and implementation of a strategy formalism, electronic paper No. 6 [Zbl 0917.68102] \textit{Diaconescu, Razvan; Futatsugi, Kokichi}, An overview of \(CafeOBJ\), electronic paper No. 7 [Zbl 0917.68101] \textit{Jouannaud, Jean-Pierre}, Membership equation logic, calculus of inductive instructions, and rewrite logic. (Extended abstract), electronic paper No. 8 [Zbl 0917.68118] \textit{Bruni, R.; Meseguer, J.; Montanari, U.}, Internal strategies in a rewriting implementation of tile systems, electronic paper No. 9 [Zbl 0917.68104] \textit{Matsumoto, Michihiro; Futatsugi, Kokichi}, Test set coinduction -- toward automated verification of behavioural properties, electronic paper No. 10 [Zbl 0917.68114] \textit{van den Brand, M. G. J.; Klint, P.; Verhoef, C.}, Term rewriting for sale, electronic paper No. 11 [Zbl 0917.68112] \textit{Schorlemmer, W. Marco}, Rewriting logic as a logic of special relations, electronic paper No. 12 [Zbl 0917.68109] \textit{Durán, Francisco; Meseguer, José}, An extensible module algebra for Maude, electronic paper No. 13 [Zbl 0919.68076] \textit{Borovanský, Peter; Jamoussi, Salma; Moreau, Pierre-Etienne; Ringeisen, Christophe}, Handling \(ELAN\) rewrite programs via an exchange format, electronic paper No. 14 [Zbl 0917.68023] \textit{Bruni, Roberto}, A logic modular descriptions of asynchronous and synchronized concurrent systems, electronic paper No. 15 [Zbl 0917.68099] \textit{Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Mesaguer, J.; Quesada, J. F.}, Maude as a metalanguage, electronic paper No. 16 [Zbl 0917.68106] \textit{Giunchiglia, Fausto; Bertoli, Piergiorgio; Coglio, Alessandro}, The OMRS project: State of the art, electronic paper No. 17 [Zbl 0917.68175] \textit{Carabetta, Georgia; Degano, Pierpaolo}, CCS semantics via proved transition systems and rewriting logic, electronic paper No. 18 [Zbl 0917.68126] \textit{Denker, Grit}, From rewrite theories to temporal logic theories, electronic paper No. 19 [Zbl 0917.68103] \textit{Steggles, L. J.; Kosiuczenko, Piotr}, A timed rewriting logic semantics for SDL: A case study of alternating bit protocol, electronic paper No. 20 [Zbl 0917.68116] \textit{Clavel, Manuel}, Reflection in general logics, rewriting logic, and Maude, electronic paper No. 21 [Zbl 0917.68108] \textit{Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Ringeisen, Christophe}, An overview of ELAN, electronic paper No. 22 [Zbl 0917.68022] \textit{Meseguer, José; Talcott, Carolyn}, Mapping OMRS to rewring logic, electronic paper No. 23 [Zbl 0917.68105] \textit{Viry, Patrick}, Adventures in sequent calculus modulo equations, electronic paper No. 24 [Zbl 0917.68100] \textit{Borovanský, Peter; Castro, Carlos}, Cooperation of constraint solvers: Using the new process control facilities of ELAN, electronic paper No. 25 [Zbl 0917.68117] \textit{Mosses, Peter D.}, Semantics, modularity, and rewriting logic, electronic paper No. 26 [Zbl 0917.68110] \textit{Lechner, Ulrike}, Object-oriented specification of distributed systems, electronic paper No. 27 [Zbl 0917.68069]