Publikationen, an denen er mitarbeitet MARÍA TERESA HORTALÁ GONZÁLEZ (1)

2007

  1. 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