A functorial framework for constraint normal logic programming

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

ISSN: 0927-2852

Datum der Publikation: 2008

Ausgabe: 16

Nummer: 3

Seiten: 421-450

Art: Artikel

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