A functorial framework for constraint normal logic programming

  1. Lucio, P.
  2. Orejas, F.
  3. Pasarella, E.
  4. Pino, E.
Revista:
Applied Categorical Structures

ISSN: 0927-2852

Año de publicación: 2008

Volumen: 16

Número: 3

Páginas: 421-450

Tipo: Artículo

DOI: 10.1007/S10485-008-9128-5 GOOGLE SCHOLAR