Rewriting Techniques and Applications

Rewriting Techniques and Applications
Author: Sophie Tison
Publisher: Springer Science & Business Media
Total Pages: 397
Release: 2002-07-10
Genre: Computers
ISBN: 3540439161


Download Rewriting Techniques and Applications Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002. The 20 regular papers, two application papers, and four system descriptions presented together with three invited contributions were carefully reviewed and selected from 49 submissions. All current aspects of rewriting are addressed.


Rewriting Techniques and Applications
Language: en
Pages: 397
Authors: Sophie Tison
Categories: Computers
Type: BOOK - Published: 2002-07-10 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denm
Rewriting Techniques and Applications
Language: en
Pages: 322
Authors: Vincent van Oostrom
Categories: Mathematics
Type: BOOK - Published: 2004-05-24 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA 2004, held in Aachen, Germany
Rewriting Techniques and Applications
Language: en
Pages: 452
Authors: Jean-Pierre Jouannaud
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

GET EBOOK

Rewriting Techniques and Applications
Language: en
Pages: 401
Authors: Ralf Treinen
Categories: Mathematics
Type: BOOK - Published: 2009-06-19 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasília, Brazi
Rewriting techniques and applications : 12th international conference...
Language: en
Pages:
Authors:
Categories:
Type: BOOK - Published: 2001 - Publisher:

GET EBOOK