Gå direkte til innholdet
A Proof Theory for General Unification
Spar

A Proof Theory for General Unification

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.
Forfatter
W. Snyder
Opplag
Softcover reprint of the original 1st ed. 1991
ISBN
9781461267584
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
30.9.2012
Antall sider
178