Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997 - Proceedings - Lecture Notes in Computer Science - Hubert Comon - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540629504 - May 14, 1997
In case cover and title do not match, the title is correct

Hubert Comon
Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997 - Proceedings - Lecture Notes in Computer Science

Price
Íkr 6,929
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 14 - 22

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Constitutes 24 revised papers presented at a conference on rewriting techniques and applications, along with two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented.

360 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 14, 1997
ISBN13 9783540629504
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 360
Dimensions 156 × 234 × 18 mm   ·   503 g
Language German  
Editor Comon, Hubert

More by Hubert Comon

Show all

Mere med samme udgiver

See all of Hubert Comon ( e.g. Paperback Book )