Travelled to:
1 × Germany
Collaborated with:
W.Snyder
Talks about:
algorithm (1) uniform (1) unif (1) semi (1) fast (1)
Person: Alberto Oliart
DBLP: Oliart:Alberto
Contributed to:
Wrote 1 papers:
- CADE-1998-OliartS #algorithm #performance
- A Fast Algorithm for Uniform Semi-Unification (AO, WS), pp. 239–253.