| 1993 |
|---|
| 7 | | Luc Albert,
Rafael Casas,
François Fages:
Average-Case Analysis of Unification Algorithms.
Theor. Comput. Sci. 113(1): 3-34 (1993) |
| 6 | | Rafael Casas,
Josep Díaz,
Conrado Martinez:
Average-Case Analysis on Simple Families of Trees Using a Balanced Probability Model.
Theor. Comput. Sci. 117(1&2): 99-112 (1993) |
| 1992 |
|---|
| 5 | | Ricardo A. Baeza-Yates,
Rafael Casas,
Josep Díaz,
Conrado Martinez:
On the Average Size of the Intersection of Binary Trees.
SIAM J. Comput. 21(1): 24-32 (1992) |
| 1991 |
|---|
| 4 | | Rafael Casas,
Josep Díaz,
Conrado Martinez:
Static on Random Trees.
ICALP 1991: 186-203 |
| 3 | | Luc Albert,
Rafael Casas,
François Fages,
A. Torrecillas,
Paul Zimmermann:
Average Case Analysis of Unification Algorithms.
STACS 1991: 196-213 |
| 1989 |
|---|
| 2 | | Rafael Casas,
Josep Díaz,
Jean-Marc Steyaert:
Average-Case Analysis of Robinson's Unification Algorithm with Two Different Variables.
Inf. Process. Lett. 31(5): 227-232 (1989) |
| 1986 |
|---|
| 1 | | Rafael Casas,
Jean-Marc Steyaert:
Bottom-Up Recursion in Trees.
CAAP 1986: 172-182 |
