Coverart for item
The Resource Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings, Andrei Voronkov (ed.), (electronic resource)

Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings, Andrei Voronkov (ed.), (electronic resource)

Label
Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings
Title
Rewriting techniques and applications
Title remainder
19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings
Statement of responsibility
Andrei Voronkov (ed.)
Title variation
  • RTA 2008
  • 19th international conference, RTA 2008
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation
Member of
Cataloging source
GW5XE
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
5117
Summary expansion
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
Label
Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings, Andrei Voronkov (ed.), (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-540-70590-1
Instantiates
Publication
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
ocn272314755
Dimensions
unknown
Extent
1 online resource (xiii, 455 p.)
Form of item
online
Isbn
9783540705901
Other physical details
ill.
Specific material designation
remote
Stock number
978-3-540-70588-8
System control number
(OCoLC)272314755
Label
Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings, Andrei Voronkov (ed.), (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-540-70590-1
Publication
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
ocn272314755
Dimensions
unknown
Extent
1 online resource (xiii, 455 p.)
Form of item
online
Isbn
9783540705901
Other physical details
ill.
Specific material designation
remote
Stock number
978-3-540-70588-8
System control number
(OCoLC)272314755

Library Locations

    • ERDC - Hanover (US Army Engineer Research and Development Center) Borrow it
      72 Lyme Road, Hanover, NH, 03755-1290, US
      43.7279642 -72.2684934
Processing Feedback ...