Typed and Monadic Constraint Handling Rules with Priorities and Disjunction

  • A. Serrano Mena
  • , J. Hage

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

    Cite this