Rewriting techniques and applications  20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings /  [electronic resource] : 
 RTA 2009 
edited by Ralf Treinen. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2009. 
 - xii, 390 pages :  illustrations, digital. 
 - Lecture notes in computer science,  5595  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783642023484 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Rewriting systems (Computer science)--Congresses.<br/>Computer programming--Congresses.<br/>Algorithms--Congresses.<br/>Discrete Mathematics in Computer Science.<br/>Programming Languages, Compilers, Interpreters.<br/>Symbolic and Algebraic Manipulation.<br/>Mathematical Logic and Formal Languages.<br/>Mathematical Logic and Foundations.<br/>Logics and Meanings of Programs.
<br/><br/><label>Dewey Class. No.: </label>005.131