Term Rewriting and Applications (vol. # 4098) 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings - International Conference on Rewriting Techniques and Applications 2006 : Seattle, Wash.); Pfenning, Frank; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Rewriting systems (Computer science) -- Congresses; Computer programming -- Congresses; Algorithms -- Congresses; Computer Science; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Symbolic and Algebraic Manipulation