MARÍA TERESA
HORTALÁ GONZÁLEZ
Ikertzailea 2011-(e)ra arte
SONIA
ESTÉVEZ MARTÍN
Profesora contratada doctora
SONIA ESTÉVEZ MARTÍN-rekin lankidetzan egindako argitalpenak (1)
2007
-
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the C F L P Scheme
Electronic Notes in Theoretical Computer Science, Vol. 177, Núm. 1, pp. 235-252