Alberto Oliart (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2 Alberto Oliart, Wayne Snyder: Fast algorithms for uniform semi-unification. J. Symb. Comput. 37(4): 455-484 (2004)

1 Alberto Oliart, Wayne Snyder: A Fast Algorithm for Uniform Semi-Unification. CADE 1998: 239-253

Selection of 2 from 2 records - Alberto Oliart has 1 coauthors

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