Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2--4, 1999. Proceedings

zbMATH Open0916.00018MaRDI QIDQ1294616FDOQ1294616

Authors:

Publication date: 30 June 1999

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

Conference Proceedings Rewriting techniques Trento (Italy)RTA-99

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

Cited In (5)

Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3--5, 2004. Proceedings.
Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15--17, 2008. Proceedings
On interreduction of semi-complete term rewriting systems
Descendants and origins in term rewriting.
Rewriting techniques and applications. 20th international conference, RTA 2009, Brasília, Brazil, June 29--July 1, 2009. Proceedings

This page was built for publication: Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2--4, 1999. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1294616)