Compilative Constructive Negation in Constraint Logic Programs

Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

Original languageEnglish
Title of host publicationProceedings of the Colloquium on Trees in Algebra and Programming, CAAP '94, Edinburgh (Scotland)
EditorsSophie Tyson
PublisherSpringer Verlag
Pages52-67
Number of pages15
Volume787
EditionLecture Notes in Computer Science
Publication statusPublished - 31 Dec 1994

Publication series

NameLNCS
PublisherSpringer-Verlag

Cite this