Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996
type: Item
instance of: scholarly article
title: Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996
zbMATH Open document ID: 0903.00068
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. Indexed articles: \textit{Landauer, Christopher}, Discrete event systems in rewriting logic, 12 p. [Zbl 0912.68089] \textit{Viry, Patrick}, Input/output for ELAN, 14 p. [Zbl 0912.68093] \textit{Miyoshi, Hiroyuki}, Modeling conditional rewriting logic in structured categories, 15 p. [Zbl 0912.68094] \textit{Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Vittek, Marian}, ELAN: A logical framework based on computational systems, 16 p. [Zbl 0912.68091] \textit{Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare}, Distributed logic objects: A fragment of rewriting logic and its implementation, 16 p. [Zbl 0912.68090] \textit{Schorlemmer, W. Marco}, Bi-rewriting rewriting logic, 18 p. [Zbl 0912.68087] \textit{Gadducci, Fabio; Montanari, Ugo}, Tiles, rewriting rules and CCS, 19 p. [Zbl 0917.68115] \textit{Pita, Isabel; Martí-Orliet, Narciso}, A Maude specification of an object-oriented database model for telecommunication networks, 19 p. [Zbl 0912.68024] \textit{Eker, S.}, Fast matching in combinations of regular equational theories, 20 p. [Zbl 0912.68057] \textit{Kirchner, Hèléne; Moreau, Pierre-Etienne}, A reflective extension of ELAN, 20 p. [Zbl 0912.68085] \textit{Diaconescu, Razvan}, Foundations of behavioural specification in rewriting logic, 20 p. [Zbl 0912.68092] \textit{Castro, Carlos}, Solving binary CSP using computational systems, 20 p. [Zbl 0912.68097] \textit{Lechner, Ulrike}, Object-oriented specifications of distributed systems in the \(\mu\)-calculus and Maude, 20 p. [Zbl 0912.68099] \textit{Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène}, Controlling rewriting by rewriting, 21 p. [Zbl 0912.68088] \textit{Clavel, Manuel; Meseguer, José}, Reflection and strategies in rewriting logic, 23 p. [Zbl 0917.68107] \textit{Talcott, Carolyn L.}, An actor rewriting theory, 24 p. [Zbl 0912.68086] \textit{Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J.}, Princ…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1230798
zbMATH Keywords: Pacific Grove, CA (USA)
zbMATH Keywords: Workshop
zbMATH Keywords: Proceedings
zbMATH Keywords: Rewriting logic
MaRDI profile type: Publication
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 (extended selected papers from WRLA 2014)
Recommended article: IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
Recommended article: Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1--2, 2006
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: Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2--3, 2016. Revised selected papers
Recommended article: WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19--21, 2002
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: Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27--28, 2004
description: scientific article; zbMATH DE number 1230798