Travelled to:
1 × Spain
Collaborated with:
F.Cucker
Talks about:
problem (1) complet (1) theori (1) real (1) two (1)
Person: A. Torrecillas
DBLP: Torrecillas:A=
Contributed to:
Wrote 1 papers:
- ICALP-1991-CuckerT #formal method #problem
- Two P-Complete Problems in the Theory of the Reals (FC, AT), pp. 556–565.