Jump to content

International Conference on Rewriting Techniques and Applications

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Miym (talk | contribs) at 21:32, 30 March 2009 (moved Rewriting Techniques and Applications to International Conference on Rewriting Techniques and Applications: full name). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Rewriting Techniques and Applications (RTA) is an annual international academic conference on the topic of rewriting. It covers all aspects of rewriting, including termination, equational reasoning, theorem proving, higher-order rewriting, unification and the lambda calculus. The conference consists of peer-reviewed papers with the proceedings published by Springer in the LNCS series. Several rewriting-related workshops are also affiliated with RTA.

The first RTA was held in Dijon, France in September 1983. The seventeenth and most recent RTA was a subconference of IJCAR, which was itself merged with the Federated Logic Conference in Seattle, USA in August 2006.

Further reading

Andre Voronkov (ed.) (August 2008). Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in Computer Science). Springer. ISBN 3540705880. {{cite book}}: |author= has generic name (help)

Stub icon

This computing article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=International_Conference_on_Rewriting_Techniques_and_Applications&oldid=280733635"