Search Results

Rewriting Techniques and Applications

Download or Read eBook Rewriting Techniques and Applications PDF written by Sophie Tison and published by Springer Science & Business Media. This book was released on 2002-07-10 with total page 397 pages. Available in PDF, EPUB and Kindle.
Rewriting Techniques and Applications
Author :
Publisher : Springer Science & Business Media
Total Pages : 397
Release :
ISBN-10 : 9783540439165
ISBN-13 : 3540439161
Rating : 4/5 (65 Downloads)

Book Synopsis Rewriting Techniques and Applications by : Sophie Tison

Book excerpt: 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 Related Books

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

DOWNLOAD 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: 456
Authors: Harald Ganzinger
Categories: Computers
Type: BOOK - Published: 1996-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ,
Rewriting Techniques and Applications
Language: en
Pages: 355
Authors: Tobias Nipkow
Categories: Computers
Type: BOOK - Published: 2006-06-08 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in
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

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA 2004, held in Aachen, Germany
RTA 2008
Language: en
Pages: 467
Authors: Andrei Voronkov
Categories: Computers
Type: BOOK - Published: 2008-07-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austr
Scroll to top