Term Rewriting and Applications
Publication year: 2007
: 978-3-540-73449-9
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA 2007), which was held during June 26–28, 2007, on the campus of the Conservatoire National des Arts et M´etiers (CNAM) in Paris, France.
: Computer Science, Constraint, Java, approximation, automated deduction, constraint solving, formal analysis, formal verification, graph rewriting, higher order rewriting, lambda calculus, logic, logic programming, model checking, object-oriented languages, verification
