Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3--5, 2004. Proceedings.

DOI10.1007/B98160zbMATH Open1052.68009OpenAlexW2661706449MaRDI QIDQ704166FDOQ704166

Author name not available (Why is that?)

Publication date: 13 January 2005

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

Full work available at URL: https://doi.org/10.1007/b98160

Recommendations

• Rewriting techniques and applications. 6th international conference, RTA-95, Kaiserslautern, Germany, April 5--7, 1995. Proceedings
• Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15--17, 2008. Proceedings
• Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9--11, 2003. Proceedings
• Rewriting techniques and applications. 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22--24, 2001. Proceedings
• Rewriting techniques and applications. 11th international conference, RTA 2000, Norwich, GB, July 10--12, 2000. Proceedings
• Rewriting techniques and applications. 13th international conference, RTA 2002, Copenhagen, Denmark, July 22--24, 2002. Proceedings
• Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2--4, 1999. Proceedings
• Rewriting techniques and applications. 4th international conference, RTA-91, Como, Italy, April 10--12, 1991. Proceedings
• Rewriting techniques and applications. 8th international conference, RTA '97, Sitges, Spain, June 2--5, 1997. Proceedings
• Rewriting techniques and applications. 5th international conference RTA-93, Montréal, Canada, June 16--18, 1993. Proceedings

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 (4)

• Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15--17, 2008. Proceedings
• Proving termination of context-sensitive rewriting by transformation
• Operational Termination of Membership Equational Programs: the Order-Sorted Way
• Loop detection in term rewriting using the eliminating unfoldings

This page was built for publication: Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3--5, 2004. Proceedings.

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