IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
type: Item
instance of: scholarly article
title: IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
zbMATH Open document ID: 0903.00070
published in: Electronic Notes in Theoretical Computer Science
publication date: 1998-12-08T00:00:00Z
review text: 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 logi…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1231237
zbMATH Keywords: Pont-á-Mousson (France)
zbMATH Keywords: Workshop
zbMATH Keywords: Proceedings
zbMATH Keywords: Rewriting logic
MaRDI profile type: Publication
Recommended article: Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996
Recommended article: WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19--21, 2002
Recommended article: The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18--20, 2000
Recommended article: Special issue: Rewriting logic and its applications. 1st international workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 1996
Recommended article: Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5--6, 2014. Revised selected papers
Recommended article: Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2--3, 2022. Revised selected papers
Recommended article: Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27--28, 2004
Recommended article: Rewriting logic and its applications. 12th international workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14--15, 2018. Proceedings
Recommended article: Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29--30, 2008
Recommended article: Rewriting logic and its applications. 9th international workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24--25, 2012. Revised selected papers
description: scientific article; zbMATH DE number 1231237