An Extension of Baaz's Algorithm to E-semi-unification with One Inequality

Cached

Download Links

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