Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
From MaRDI portal
Publication:1187660
DOI10.1007/3-540-51081-8zbMath0741.68008OpenAlexW2484395828MaRDI QIDQ1187660
No author found.
Publication date: 17 September 1992
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-51081-8
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Grammars and rewriting systems (68Q42)
Related Items (7)
Two families of Newman lattices ⋮ Left-to-right tree pattern matching ⋮ Open problems in rewriting ⋮ A field guide to equational logic ⋮ Artin groups, rewriting systems and three-manifolds ⋮ Rewriting systems of Coxeter groups ⋮ Proving termination of (conditional) rewrite systems. A semantic approach
Uses Software
This page was built for publication: Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
