More Books:

Rewriting Techniques and Applications
Language: en
Pages: 458
Authors: Ronald V. Book
Categories: Computers
Type: BOOK - Published: 1991-03-27 - Publisher: Springer Science & Business Media

This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specifications,
Rewriting Techniques and Applications
Language: en
Pages: 368
Authors: Aart Middeldorp
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting
Rewriting Techniques and Applications
Language: en
Pages: 392
Authors: Sophie Tison
Categories: Computers
Type: BOOK - Published: 2002-07-10 - Publisher: Springer Science & Business Media

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.
Rewriting Techniques and Applications
Language: en
Pages: 435
Authors: N. J.) International Conference on Rewriting Techniques and Applications (7th : 1996 : New Brunswick
Categories: Computers
Type: BOOK - Published: 1996-07 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996. The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and
Rewriting Techniques and Applications
Language: en
Pages: 346
Authors: Tobias Nipkow
Categories: Computers
Type: BOOK - Published: 2006-06-08 - Publisher: Springer

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees.