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

    62 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
    Volume3132
    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
    https://link.springer.com/book/10.1007/b99475 (Proceedings)

    Conference

    ConferenceInternational Conference on Logic Programming 2004
    Abbreviated titleICLP 2004
    CountryFrance
    CitySaint-Malo
    Period6/09/0410/09/04
    Internet address

    Cite this