Gå direkt till innehållet
A Proof Theory for General Unification
Spara

A Proof Theory for General Unification

Lägsta pris på PriceRunner
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.
Författare
W. Snyder
Upplaga
Softcover reprint of the original 1st ed. 1991
ISBN
9781461267584
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-09-30
Sidor
178