A Confluence Checker for Constraint Handling Rules with Persistent Constraints

Erstveröffentlichung
2017Authors
Richter, Frank
Gall, Daniel
Frühwirth, Thom
Beitrag zu einer Konferenz
Published in
Proceedings of the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)2017
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Softwaretechnik und ProgrammiersprachenConference
21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP), 2017-09-19 - 2017-09-21, Würzburg