A functrial framework for constraint normal logic programming

  1. Lucio, P.
  2. Orejas, F.
  3. Pasarella, E.
  4. Pino, E.
Book Series:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743 1611-3349

ISBN: 9783540354628

Year of publication: 2006

Volume: 4060 LNCS

Pages: 555-577

Type: Conference paper