Items related to Resolution of Equations in Algebraic Structures, Volume...

Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques - Hardcover

 
9780120463701: Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques

Synopsis

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.

Buy Used

Condition: Near Fine
Ancien livre de bibliothèque. Tome...
View this item

US$ 26.43 shipping from France to U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9781483235363: Algebraic Techniques: Resolution of Equations in Algebraic Structures

Featured Edition

ISBN 10:  148323536X ISBN 13:  9781483235363
Publisher: Academic Press, 2014
Softcover

Search results for Resolution of Equations in Algebraic Structures, Volume...

Stock Image

Hassan Ait-Kaci
Published by Academic Pr, 1989
ISBN 10: 0120463709 ISBN 13: 9780120463701
Used Hardcover

Seller: Ammareal, Morangis, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 32.56
Convert currency
Shipping: US$ 26.43
From France to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Ait-Kaci, Hassan; Nivat, Maurice
Published by Academic Pr (edition ), 1989
ISBN 10: 0120463709 ISBN 13: 9780120463701
Used Hardcover

Seller: BooksRun, Philadelphia, PA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 70.84
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Ait-Kaci, Hassan & Nivat, Maurice (Edited by)
Published by Academic Press Inc, 1989
ISBN 10: 0120463709 ISBN 13: 9780120463701
Used Hardcover

Seller: G. & J. CHESTERS, TAMWORTH, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 63.96
Convert currency
Shipping: US$ 10.78
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket