Typed and Monadic Constraint Handling Rules with Priorities and Disjunction

A. Serrano Mena, J. Hage

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

    Original languageEnglish
    Title of host publicationIFL 2016 Accepted Presentations
    Publication statusPublished - 31 Aug 2016

    Cite this