A functorial framework for constraint normal logic programming

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

ISSN: 0927-2852

Année de publication: 2008

Volumen: 16

Número: 3

Pages: 421-450

Type: Article

DOI: 10.1007/S10485-008-9128-5 GOOGLE SCHOLAR
La source de données: Scopus