W. Snyder – författare
Visar alla böcker från författaren W. Snyder. Handla med fri frakt och snabb leverans.
3 produkter
Proof Theory for General Unification
Av W. Snyder
Inbunden, 1991
567 kr
Lägg i varukorg
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. The formalism presents the unification …
Proof Theory for General Unification
Av W. Snyder
E-bok, 2012
718 kr
Lägg i varukorg
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. The formalism presents the unification …
Proof Theory for General Unification
Av W. Snyder
Häftad, 2012
552 kr
Lägg i varukorg
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. The formalism presents the unification …
