Shelfclass_id | 3.A |
Sortkey | RTA |
Authors | Andrei Voronkov |
Title | RTA 2008: Rewriting Techniques and Applications: 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings |
Publisher | Springer |
Edition | 1st ed. |
Year | 2008 |
Languages | eng |
Isbn | 9783540705888 |
Series | Lecture Notes in Computer Science |
Volume | 5117 |
Issn | 0302-9743 |
Description | 455 p. |
Record date | 20090902 |
Location | Berlin |