Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996

zbMath0903.00068MaRDI QIDQ1273555

No author found.

Publication date: 8 December 1998

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Proceedings; Workshop; Rewriting logic; Pacific Grove, CA (USA)

Mathematics Subject Classification ID

00B25: Proceedings of conferences of miscellaneous specific interest

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

68Q42: Grammars and rewriting systems

Related Items

Equational rules for rewriting logic