A Proof Theory for General Unification - Prijzen

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 computation as a set of non-deterministic transformation rules for con- verting a set of equations to be unified into an explicit representation of a un...

De A Proof Theory for General Unification is een populaire optie voor Wiskundige logica. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.

Productspecificaties

Waar te koop

A Proof Theory for General Unification is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.