Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
Publication year: 2008
ISBN: 978-3-540-70590-1
Internet Resource: Please Login to download book
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.
Subject: Computer Science / Programming Languages, Compilers, Interpreters / Mathematical Logic and Formal Languages / Logics and Meanings of Programs / Artificial Intelligence / Symbolic and Algebraic Manipulation / Simulation / approximation / automata / calculus / constraint solving / critical pair / cryptographic protocol analysis / data structure / data structures / dependency pairs / equational tree automata / functional-logic programming / proving /semantics / term rewriting
