Articles liés à A Proof Theory for General Unification
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour A Proof Theory for General Unification
Image fournie par le vendeur
A proof theory for general unification.
Edité par
Boston, Birkhäuser, 1991
ISBN 10 : 0817635939
ISBN 13 : 9780817635930
Ancien ou d'occasion
Couverture rigide
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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. N° de réf. du vendeur 2351209
Quantité disponible : 1 disponible(s)
Image d'archives
A Proof Theory for General Unification.
Edité par
Boston: Birkhäuser, 1991
ISBN 10 : 0817635939
ISBN 13 : 9780817635930
Ancien ou d'occasion
Couverture rigide
Vendeur : Plurabelle Books Ltd, Cambridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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. N° de réf. du vendeur 102369
Quantité disponible : 1 disponible(s)
Image d'archives
A Proof Theory for General Unification
Edité par
Birkhauser Boston Inc, 1991
ISBN 10 : 0817635939
ISBN 13 : 9780817635930
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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. N° de réf. du vendeur F-924-661
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
A Proof Theory for General Unification
Edité par
Birkhäuser Boston, 1991
ISBN 10 : 0817635939
ISBN 13 : 9780817635930
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. N° de réf. du vendeur 5975442
Quantité disponible : Plus de 20 disponibles
Image d'archives
A Proof Theory for General Unification
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780817635930_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
A Proof Theory for General Unification
Edité par
Birkhäuser Boston, Birkhäuser Boston Nov 1991, 1991
ISBN 10 : 0817635939
ISBN 13 : 9780817635930
Neuf
Couverture rigide
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 190 pp. Englisch. N° de réf. du vendeur 9780817635930
Quantité disponible : 1 disponible(s)
Image d'archives
A Proof Theory for General Unification (Progress in Computer Science & Applied Logic Ser.)
Edité par
Birkhauser, Boston, 1991
ISBN 10 : 0817635939
ISBN 13 : 9780817635930
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Pride and Prejudice-Books, Ballston Lake, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Near Fine. Etat de la jaquette : No Dust Jacket. First Edition. Near Fine. No Dust Jacket. N° de réf. du vendeur 010077
Quantité disponible : 1 disponible(s)
Image d'archives
A Proof Theory For General Unification
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-81858
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
A Proof Theory for General Unification
Edité par
Birkhäuser Boston, Birkhäuser Boston, 1991
ISBN 10 : 0817635939
ISBN 13 : 9780817635930
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9780817635930
Quantité disponible : 1 disponible(s)
Image d'archives
A Proof Theory For General Unification
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-129745
Quantité disponible : 1 disponible(s)