A Confluence Checker for Constraint Handling Rules with Persistent Constraints
Beitrag zu einer Konferenz
Authors
Richter, Frank
Gall, Daniel
Frühwirth, Thom
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Softwaretechnik und ProgrammiersprachenPublished in
Proceedings of the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)2017
Conference
21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP), 2017-09-19 - 2017-09-21, Würzburg