Publication year: 2008
: 978-3-540-70590-1
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.
: 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