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

MaRDI QIDQ1294616zbMATH OpenFDO

Authors

Publication date 30 June 1999

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

zbMATH Keywords

ConferenceProceedingsRewriting techniquesTrento (Italy)RTA-99

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)

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
• Rewriting techniques and applications. 20th international conference, RTA 2009, Brasília, Brazil, June 29--July 1, 2009. Proceedings
• 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

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