TY - DATA AU - Hutchison,David AU - Kanade,Takeo AU - Kittler,Josef AU - Kleinberg,Jon M. AU - Mattern,Friedemann AU - Mitchell,John C. AU - Naor,Moni AU - Nierstrasz,Oscar AU - Pandu Rangan,C. AU - Steffen,Bernhard AU - Sudan,Madhu AU - Terzopoulos,Demetri AU - Tygar,Doug AU - Vardi,Moshe Y. AU - Voronkov,Andrei AU - Weikum,Gerhard ED - SpringerLink (Online service) TI - Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540705901 PY - 2008/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Algebra KW - Data processing KW - Artificial intelligence KW - Computer Science KW - Logic design KW - Artificial Intelligence (incl. Robotics) KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Programming Languages, Compilers, Interpreters KW - Symbolic and Algebraic Manipulation UR - http://dx.doi.org/10.1007/978-3-540-70590-1 ER -