Cargando…
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. The formalism presents the unification co...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
1991
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-1-4612-0435-0 http://cds.cern.ch/record/2006124 |