Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2--4, 1999. Proceedings
From MaRDI portal
Publication:1294616
zbMath0916.00018MaRDI QIDQ1294616
No author found.
Publication date: 30 June 1999
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
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 (2)
On interreduction of semi-complete term rewriting systems ⋮ Descendants and origins in term rewriting.
This page was built for publication: Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2--4, 1999. Proceedings
