Lecture Notes in Computer Science
Volume 5117, 2008, DOI: 10.1007/978-3-540-70590-1

Rewriting Techniques and Applications
19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Andrei Voronkov

Search within

Browse This Book

About This Book

Title
Rewriting Techniques and Applications
19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
Editor
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2008
DOI
10.1007/978-3-540-70590-1
ISBN
978-3-540-70588-8
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, July 11, 2008

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002