Tallenna
A Proof Theory for General Unification
Kirjailija:
nidottu, 2012
englanti
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.
- Kirjailija
- W. Snyder
- Painos
- Softcover reprint of the original 1st ed. 1991
- ISBN
- 9781461267584
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 30.9.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 178
