A functorial framework for constraint normal logic programming

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

ISSN: 0927-2852

Argitalpen urtea: 2008

Alea: 16

Zenbakia: 3

Orrialdeak: 421-450

Mota: Artikulua

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