Publications by the researcher in collaboration with Elvira Pino (3)

2008

  1. A functorial framework for constraint normal logic programming

    Applied Categorical Structures, Vol. 16, Núm. 3, pp. 421-450

2006

  1. A functrial framework for constraint normal logic programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1999

  1. Algebraic framework for the definition of compositional semantics of normal logic programs

    Journal of Logic Programming, Vol. 40, Núm. 1, pp. 89-123