An Extension of Baaz's Algorithm to E-semi-unification with One Inequality
by
Alberto Oliart
,
Laboratorio Nacional
,
Informatica Avanzada A. C
Document Versions
| An Extension of Baaz's Algorithm to E-semi-unification with One Inequality –Alberto Oliart, Laboratorio Nacional, Informatica Avanzada A. C |
