Rewriting Techniques and Applications [electronic resource] 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andrei Voronkov.

Subject headings

Artificial intelligence  (LCSH)

Computer science  (LCSH)

Logic design  (LCSH)

Algebra  -- Data processing (LCSH)

Computer Science 

Artificial Intelligence (incl. Robotics) 

Logics and Meanings of Programs 

Mathematical Logic and Formal Languages 

Programming Languages, Compilers, Interpreters 

Symbolic and Algebraic Manipulation 

Keyword

Springer eBooks