A functorial framework for constraint normal logic programming

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

ISSN: 0927-2852

Year of publication: 2008

Volume: 16

Issue: 3

Pages: 421-450

Type: Article

DOI: 10.1007/S10485-008-9128-5 GOOGLE SCHOLAR
Data source: Scopus