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 Kaustuv (talk | contribs) at 17:23, 19 August 2006 (stub). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Rewriting Techniques and Applications (RTA) is an 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.

Stub icon

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

Stub icon

This mathematics-related 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=70611993"