Order Total (1 Item Items):
Shipping Destination:
Term Rewriting by Baader Franz (37 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (37)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (29)
- As New, Fine or Near Fine (5)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (13)
- Not Print on Demand (27)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Condition: New.
-
Term Rewriting and Applications (Paperback)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2007
ISBN 10: 3540734473 ISBN 13: 9783540734475
Language: English
Paperback. Condition: new. Paperback. The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics. Covers the proceedings of the 18th International Conference on Rewriting Techniques and Applications, RTA 2007, held in Paris, France in June 2007 in conjunction with TLCA 2007, the 8th International Conference on Typed Lambda Calculi and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 60.00
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Term Rewriting and All That
Published by Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 54.74
Convert currencyUS$ 14.22 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
Term Rewriting and All That
Published by Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
US$ 74.34
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Term Rewriting and All That
Published by Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
US$ 73.00
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Term Rewriting and All That
Published by Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
US$ 43.36
Convert currencyUS$ 34.95 shipping from Australia to U.S.A.Quantity: 1 available
Add to basketSoft cover. Condition: As New.
-
Term Rewriting and All That
Published by Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
US$ 75.65
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Term Rewriting and All That
Published by Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
Condition: New.
-
Term Rewriting and All That
Published by Cambridge University Press, 1998
ISBN 10: 0521455200 ISBN 13: 9780521455206
Language: English
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science, 4533)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.95
Convert currencyUS$ 16.01 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. pp. 438.
-
Term Rewriting and All That
Published by Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 78.65
Convert currencyUS$ 16.01 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Term Rewriting & All That
Published by Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
US$ 77.40
Convert currencyUS$ 20.70 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Term Rewriting and All That
Published by Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 78.40
Convert currencyUS$ 20.05 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Term Rewriting and All That
Published by Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 80.71
Convert currencyUS$ 20.05 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Term Rewriting and All That
Published by Cambridge University Press, GB, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 99.13
Convert currencyFree shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New. This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.
-
Term Rewriting and All That
Published by Cambridge University Press CUP, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
Condition: New. pp. 316.
-
Term Rewriting and Applications: 18th International Conference, Rta 2007, Paris, France, June 26-28, 2007, Proceedings
Published by Springer-Verlag New York Inc, 2007
ISBN 10: 3540734473 ISBN 13: 9783540734475
Language: English
US$ 94.81
Convert currencyUS$ 33.41 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 1st edition. 419 pages. 9.00x6.00x1.00 inches. In Stock.
-
Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
Published by Springer Berlin Heidelberg, 2007
ISBN 10: 3540734473 ISBN 13: 9783540734475
Language: English
US$ 64.00
Convert currencyUS$ 73.53 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics.
-
Term Rewriting and Applications (Paperback)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2007
ISBN 10: 3540734473 ISBN 13: 9783540734475
Language: English
US$ 129.58
Convert currencyUS$ 37.00 shipping from Australia to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: new. Paperback. The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics. Covers the proceedings of the 18th International Conference on Rewriting Techniques and Applications, RTA 2007, held in Paris, France in June 2007 in conjunction with TLCA 2007, the 8th International Conference on Typed Lambda Calculi and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Term Rewriting and All That
Published by Cambridge University Press, GB, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
US$ 95.23
Convert currencyUS$ 86.87 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New. This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.
-
Term Rewriting & All That
Published by Cambridge University Press, 2008
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
US$ 150.05
Convert currencyUS$ 33.41 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
Term Rewriting and All That
Published by Cambridge University Press, 1998
ISBN 10: 0521455200 ISBN 13: 9780521455206
Language: English
US$ 439.12
Convert currencyUS$ 8.02 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: new. New!
-
Term Rewriting and Applications
Published by Springer Berlin Heidelberg Jun 2007, 2007
ISBN 10: 3540734473 ISBN 13: 9783540734475
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
US$ 64.00
Convert currencyUS$ 26.72 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics. 436 pp. Englisch.
-
US$ 81.70
Convert currencyUS$ 8.69 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. Print on Demand pp. 438 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Term Rewriting and All That
Published by Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 78.41
Convert currencyUS$ 16.35 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 548.
