The refined operational semantics of constraint handling rules

Gregory J Duck, Peter J Stuckey, Maria Jose Garcia De La Banda, Christian Holzbaur

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    85 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 20th International Conference in Logic Programming (ICLP 2004)
    EditorsBart Demoen, Vladimir Lifschitz
    Place of PublicationBerlin Germany
    PublisherSpringer-Verlag London Ltd.
    Pages90 - 104
    Number of pages15
    ISBN (Print)0302-9743
    Publication statusPublished - 2004
    EventInternational Conference on Logic Programming 2004 - Saint-Malo, France
    Duration: 6 Sep 200410 Sep 2004
    Conference number: 20th (Proceedings)


    ConferenceInternational Conference on Logic Programming 2004
    Abbreviated titleICLP 2004
    Internet address

    Cite this