A Proof Theory for General Unification - Progress in Computer Science and Applied Logic - W. Snyder - Books - Birkhauser Boston Inc - 9780817635930 - November 1, 1991
In case cover and title do not match, the title is correct

A Proof Theory for General Unification - Progress in Computer Science and Applied Logic 1991 edition

W. Snyder

Price
A$ 105.99
excl. VAT

Ordered from remote warehouse

Expected delivery Apr 30 - May 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

A Proof Theory for General Unification - Progress in Computer Science and Applied Logic 1991 edition

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.

178 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released November 1, 1991
ISBN13 9780817635930
Publishers Birkhauser Boston Inc
Pages 178
Dimensions 155 × 235 × 12 mm   ·   449 g
Language English  

See all of W. Snyder ( e.g. Hardcover Book and Paperback Book )