1992 | ||
---|---|---|
3 | EE | Felipe Cucker, A. Torrecillas: Two P-complete problems in the theory of the reals. J. Complexity 8(4): 454-466 (1992) |
1991 | ||
2 | Felipe Cucker, A. Torrecillas: Two P-Complete Problems in the Theory of the Reals. ICALP 1991: 556-565 | |
1 | Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann: Average Case Analysis of Unification Algorithms. STACS 1991: 196-213 |
1 | Luc Albert | [1] |
2 | Rafael Casas | [1] |
3 | Felipe Cucker | [2] [3] |
4 | François Fages | [1] |
5 | Paul Zimmermann | [1] |