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

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

Price
£ 42.49

Ordered from remote warehouse

Expected delivery Jan 8 - 16, 2026
Christmas presents can be returned until 31 January

Our customers say:

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

Also available as:

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 )