Rewriting Techniques and Applications
- Rewriting Techniques and Applications
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.
External links
* [http://rewriting.loria.fr/rta/ RTA home page]
Wikimedia Foundation.
2010.
Look at other dictionaries:
And-inverter graph — An and inverter graph (AIG) is a directed, acyclic graph that represents a structural implementation of the logical functionality of a circuit or network. An AIG consists of two input nodes representing logical conjunction, terminal nodes labeled … Wikipedia
Terminal and nonterminal symbols — In computer science, terminal and nonterminal symbols are the lexical elements used in specifying the production rules that constitute a formal grammar. The terminals and nonterminals of a particular grammar are two disjoint sets. Contents 1… … Wikipedia
LNCS202 — Rewriting Techniques and Applications. Edited by J. P. Jouannaud. VI, 441 pages, Springer Verlag 1985 … Acronyms
LNCS202 — Rewriting Techniques and Applications. Edited by J. P. Jouannaud. VI, 441 pages, Springer Verlag 1985 … Acronyms von A bis Z
List of computer science conferences — This is a list of academic conferences in computer science. Most of these academic conferences are annual or bi annual events.The order with which the conferences are listed in their respective fields corresponds to a rough and non authoritative… … Wikipedia
RTA — or Rta, is a three letter acronym that could refer to:;Various traffic or transit authorities: * Regional Transportation Authority (Illinois), serving Chicago, United States * Regional Transportation Authority (Tennessee), serving Nashville,… … Wikipedia
Director string — In mathematics, in the area of lambda calculus and computation, directors or director strings are a mechanism for keeping track of the free variables in a term. Director strings were introduced by Kennaway and Sleep in 1982 and further developed… … Wikipedia
Anthropology and Archaeology — ▪ 2009 Introduction Anthropology Among the key developments in 2008 in the field of physical anthropology was the discovery by a large interdisciplinary team of Spanish and American scientists in northern Spain of a partial mandible (lower… … Universalium
Nominal terms (computer science) — Nominal terms are a metalanguage for embedding object languages with binding constructs into. Intuitively, they may be seen as an extension of first order terms with support for name binding. Consequently, the native notion of equality between… … Wikipedia
Blood and Guts in High School — by Kathy Acker (1978) This extraordinary book represents three transitional points in kathy acker’s career as a writer: (1) her first conscious attempt to gain commercial recognition, which was relatively successful; (2) her departure from cut … Encyclopedia of Beat Literature