Rewriting Techniques and Applications
Subtitle: 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
By: 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, Ralf Treinen
Contributors: Naor, Moni; Pandu Rangan, C.; Sudan, Madhu; Tygar, Doug; Steffen, Bernhard; Kanade, Takeo; Kittler, Josef; Kleinberg, Jon M.; Mitchell, John C.; Nierstrasz, Oscar; Vardi, Moshe Y.; Terzopoulos, Demetri; Treinen, Ralf; Weikum, Gerhard; Mattern, Friedemann; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5595
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642023477; 9783642023484
Subjects: Logic design; Computational complexity; Symbolic and mathematical Logic; Computer science; Data processing; Algebra