Reasoning about passive declarations in CHR

Christiansen, H. (Lecturer)

    Activity: Talk or presentationLecture and oral contribution

    Period5 Oct 2005
    Event titleConstraint Handling Rules, Workshop: null
    Event typeWorkshop
    Conference number2
    LocationSitges, Spain