Items related to A Proof Theory for General Unification: 11 (Progress...
A Proof Theory for General Unification: 11 (Progress in Computer Science and Applied Logic, 11) - Hardcover
Synopsis
In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig inated by Herbrand and developed in the case of standard first-order unifi cation by Martelli and Montanari. The formalism presents the unification computation as a set of non-deterministic transformation rules for con verting a set of equations to be unified into an explicit representation of a unifier (if such exists). This provides an abstract and mathematically elegant means of analysing the properties of unification in various settings by providing a clean separation of the logical issues from the specification of procedural information, and amounts to a set of 'inference rules' for unification, hence the title of this book. We derive the set of transformations for general E-unification and higher order unification from an analysis of the sense in which terms are 'the same' after application of a unifying substitution. In both cases, this results in a simple extension of the set of basic transformations given by Herbrand Martelli-Montanari for standard unification, and shows clearly the basic relationships of the fundamental operations necessary in each case, and thus the underlying structure of the most important classes of term unifi cation problems.
"synopsis" may belong to another edition of this title.
Synopsis
Presents a framework for the disparate lines of investigation into unification, an important element in theoretical computer science. Of interest to researchers, graduates, and advanced undergraduates dealing with such topics as automated deduction, programming languages, and artificial intelligence. No index. Annotation copyright Book News, Inc. P
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for A Proof Theory for General Unification: 11 (Progress...
Seller Image
A proof theory for general unification.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. 175 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 0817635939 Sprache: Englisch Gewicht in Gramm: 900. Seller Inventory # 2351209
Quantity: 1 available
Stock Image
A Proof Theory for General Unification.
Seller: Plurabelle Books Ltd, Cambridge, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Series: Progress in Computer Science and Applied Logic hardback with purple laminated cover, from a Cambridge college library, hardly used, as new, with obliterated library markings Language: English. Seller Inventory # 102369
Quantity: 1 available
Stock Image
A Proof Theory for General Unification
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1991. Tome 11. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Volume 11. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # F-924-661
Quantity: 1 available
Stock Image
A Proof Theory for General Unification
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780817635930_new
Quantity: Over 20 available
Stock Image
A Proof Theory for General Unification (Progress in Computer Science & Applied Logic Ser.)
Published by
Birkhauser, Boston, 1991
ISBN 10: 0817635939
ISBN 13: 9780817635930
Used
Hardcover
First Edition
Seller: Pride and Prejudice-Books, Ballston Lake, NY, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Near Fine. Dust Jacket Condition: No Dust Jacket. First Edition. Near Fine. No Dust Jacket. Seller Inventory # 010077
Quantity: 1 available
Stock Image
A Proof Theory for General Unification
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 192 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 5829316
Quantity: 1 available
Stock Image
A Proof Theory for General Unification
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like NewLIKE NEW. book. Seller Inventory # ERICA83708176359393
Quantity: 1 available
Stock Image
A Proof Theory for General Unification
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 192. Seller Inventory # 263099931
Quantity: 1 available
Stock Image
A Proof Theory for General Unification
Print on DemandSeller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 479. Seller Inventory # C9780817635930
Quantity: Over 20 available
Stock Image
A Proof Theory For General Unification
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-129745
Quantity: 1 available