Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2008

Rewriting Techniques and Applications

19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

Editors:

  1. Andrei Voronkov
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5117)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): RTA: International Conference on Rewriting Techniques and Applications

Conference proceedings info: RTA 2008.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (30 papers)

  1. Front Matter

    PDF

  2. Modular Termination of Basic Narrowing

    • María Alpuente, Santiago Escobar, José Iborra
    Pages 1-16

  4. Term-Graph Rewriting Via Explicit Paths

    • Emilie Balland, Pierre-Etienne Moreau
    Pages 32-47

  5. Finer Is Better: Abstraction Refinement for Rewriting Approximations

    • Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
    Pages 48-62

  6. A Needed Rewriting Strategy for Data-Structures with Pointers

    • Rachid Echahed, Nicolas Peltier
    Pages 63-78

  7. Effectively Checking the Finite Variant Property

    • Santiago Escobar, José Meseguer, Ralf Sasse
    Pages 79-93

  9. Maximal Termination

    • Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl
    Pages 110-125

  10. Usable Rules for Context-Sensitive Rewrite Systems

    • Raúl Gutiérrez, Salvador Lucas, Xavier Urbain
    Pages 126-141

  11. Combining Equational Tree Automata over AC and ACI Theories

    • Joe Hendrix, Hitoshi Ohsaki
    Pages 142-156

  12. Closure of Hedge-Automata Languages by Hedge Rewriting

    • Florent Jacquemard, Michael Rusinowitch
    Pages 157-171

  15. Arctic Termination ...Below Zero

    • Adam Koprowski, Johannes Waldmann
    Pages 202-216

  16. Logics and Automata for Totally Ordered Trees

    • Marco Kuhlmann, Joachim Niehren
    Pages 217-231

  18. Nominal Unification from a Higher-Order Perspective

    • Jordi Levy, Mateu Villaret
    Pages 246-260

  19. Functional-Logic Graph Parser Combinators

    • Steffen Mazanek, Mark Minas
    Pages 261-275
Back to top

Other Volumes

  1. Rewriting Techniques and Applications

Back to top

About this book

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation