Resolution of Equations in Algebraic Volume 2, Rewriting Techniques is a collection of papers dealing with the construction of canonical rewrite systems, constraint handling in logic programming, and completion algorithms for conditional rewriting systems. Papers discuss the Knuth-Bendix completion method which constructs a complete system for a given set of equations, including extensions of the method dealing with termination, unfailing completion, and associative-communicative completion. One paper examines the various practical techniques that can be used to extend Prolog as a constraint solver, particularly on techniques that solve boolean equations, imposing inequality, disequality, and finitary domain constraints on variables. Another paper presents a sufficient condition for confluence of conditional rewriting, and a practical unification algorithm modulo conditional rewriting through the notion of conditional narrowing. One paper analyzes the possibility of using completion for inductive proofs in the initial algebra of an equational variety without explicit induction. Another papers discusses solving systems of word equations in the free monoid and the free group, where a solution is defined as a word homomorphism. Programmers, mathematicians, students, and instructors involved in computer science and computer logic will find this collection valuable.
"synopsis" may belong to another edition of this title.
US$ 26.43 shipping from France to U.S.A.
Destination, rates & speedsSeller: Ammareal, Morangis, France
Hardcover. Condition: Bon. Ancien livre de bibliothèque. Tome 1. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Volume 1. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # F-934-136
Quantity: 1 available
Seller: BooksRun, Philadelphia, PA, U.S.A.
Hardcover. Condition: Good. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. Seller Inventory # 0120463709-11-1
Quantity: 1 available
Seller: G. & J. CHESTERS, TAMWORTH, United Kingdom
Hardcover. Condition: Very Good. SCARCE! pp.xxi, 452 pages, a very good plus hardback with laminated boards so no dust-jacket called for, from a uk university library, although it appears never to have been used - certainly the text is completely clean [0120463709]. Seller Inventory # 141179
Quantity: 1 available