Order Total (1 Item Items):
Shipping Destination:
Term Rewriting by Baader Franz (34 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (34)
- 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 (27)
- As New, Fine or Near Fine (4)
- 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 (12)
- Not Print on Demand (24)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Term Rewriting and All That
Published by Cambridge University Press, 1998
ISBN 10: 0521455200 ISBN 13: 9780521455206
Language: English
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
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.
-
-
-
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
Condition: 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.
-
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, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
Condition: New. SUPER FAST SHIPPING.
-
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, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
Soft cover. Condition: As New.
-
Term Rewriting and All That
Published by Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
Condition: As New. Unread book in perfect condition.
-
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
Condition: New. In.
-
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
Condition: New. In.
-
Condition: New. pp. 438.
-
Term Rewriting & All That
Published by Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
Paperback. 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
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
Condition: 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
Paperback. 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 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
Paperback. Condition: Brand New. 1st edition. 419 pages. 9.00x6.00x1.00 inches. In Stock.
-
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 Berlin Heidelberg, 2007
ISBN 10: 3540734473 ISBN 13: 9783540734475
Language: English
Taschenbuch. 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 | 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
Published by Springer-Verlag GmbH, 2007
ISBN 10: 3540734473 ISBN 13: 9783540734475
Language: English
Taschenbuch. Condition: Neu. Term Rewriting and Applications | 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings | Franz Baader | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer-Verlag GmbH | EAN 9783540734475 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Term Rewriting and All That
Published by Cambridge University Press, GB, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Language: English
Paperback. 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
Paperback. 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
Condition: new. New!
-
Paperback. Condition: Brand New. 314 pages. 10.00x7.00x0.75 inches. In Stock. This item is printed on demand.
-
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
Taschenbuch. 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.
-
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
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 548.
-
Condition: 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.
-
Condition: New. PRINT ON DEMAND pp. 438.
-
Term Rewriting and Applications
Published by Springer Berlin Heidelberg, 2007
ISBN 10: 3540734473 ISBN 13: 9783540734475
Language: English
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents the proceedings from the 18th International Conference on Rewriting Techniques and ApplicationsFeatures some of the latest advances in the fieldCovers current research on all aspects of rewriting, including applications, foundation.
