Alberto Oliart

Publication Activity (10 Years)

Years Active: 1998-2004
Publications (10 Years): 0

Publications

Alberto Oliart, Wayne Snyder
Fast algorithms for uniform semi-unification. J. Symb. Comput. 37 (4) (2004)
Alberto Oliart, Wayne Snyder
A Fast Algorithm for Uniform Semi-Unification. CADE (1998)