Searching for authors named Alberto Oliart – sorted by Relevance.
3 documents found, showing 1 through 3.
-
An Algorithm for Inferring Quasi-Static Types
- …An Algorithm for Inferring Quasi-Static Types Alberto Oliart December 14, 1994 Abstract…
- Cited by 3 (0 self) – Add To MetaCart
-
Fast Algorithms for Uniform Semi-Unification
- …Fast Algorithms for Uniform Semi-Unification Preliminary Draft Alberto Oliart, Wayne Snyder…
- Cited by 4 (1 self) – Add To MetaCart
-
An Extension of Baaz's Algorithm to E-semi-unification with One Inequality
- … Alberto Oliart Laboratorio Nacional de Informatica Avanzada A.C. aoliart@(email omitted); Abstract…
- Add To MetaCart
Showing 1 through 3.
