Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings

DOI10.1007/3-540-54317-1zbMath0756.68010OpenAlexW2478297683MaRDI QIDQ1189444

No author found.

Publication date: 23 January 1993

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

Full work available at URL: https://doi.org/10.1007/3-540-54317-1

zbMATH Keywords

ProceedingsWorkshopPetri netsalgebraic specificationsconfluenceterminationobject-oriented programmingterm rewritinggraph grammarsparallel computationsMontreal (Canada)Herbrand modelKnuth-Bendix completionRewriting systemsCTRS WorkshopHorn clause systems

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Grammars and rewriting systems (68Q42)

Uses Software

• Unnamed Item

This page was built for publication: Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings