Proof Theory for General Unification

Name: Proof Theory for General Unification
Price: 55.74 USD
Availability: InStock
ISBN: 9781461267584

ISBN-10: 1461267587

ISBN-13: 9781461267584

Edition: 1991

Authors: W. Snyder

List price: $139.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $55.74

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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,…

Book details

List price: $139.00
Copyright year: 1991
Publisher: Birkhauser Verlag GmbH
Publication date: 9/30/2012
Binding: Paperback
Pages: 178
Size: 6.10" wide x 9.25" long x 0.16" tall
Weight: 0.660
Language: English