ENGLISH

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

By María Alpuente , Santiago Escobar , José Iborra (auth.) , Andrei Voronkov (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2008
ISBN
3540705880, 9783540705888
DOI
10.1007/978-3-540-70590-1
Language
english
Format
PDF
Filesize
5 MB (4862065 bytes)
Series
Lecture Notes in Computer Science 5117
Edition
1
Pages
457\466
Topic
Computers
Library
Kolxo3
Time added
2009-12-04 00:34:26
CompilersInterpreters; Artificial Intelligence (incl. RobotMathematical Logic and Formal Languages; Logics an

Description

This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. The 30 revised full papers presented were carefully reviewed and selected from 57 initial submissions. The papers cover current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.

Similar books