.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Proof Theory for General Unification
W. Snyder
€ 70.51
FREE Delivery in Ireland
Description for Proof Theory for General Unification
Hardback. Series: Progress in Computer Science and Applied Logic. Num Pages: 178 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 12. Weight in Grams: 449.
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 ... Read more
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 ... Read more
Product Details
Format
Hardback
Publication date
1991
Publisher
Birkhauser Boston Germany
Number of pages
178
Condition
New
Series
Progress in Computer Science and Applied Logic
Number of Pages
178
Place of Publication
Secaucus, United States
ISBN
9780817635930
SKU
V9780817635930
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Proof Theory for General Unification