A Confluence Checker for Constraint Handling Rules with Persistent Constraints

Erstveröffentlichung
2017
Authors
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 Psychologie
Institutions
Institut für Softwaretechnik und Programmiersprachen
Conference
21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP), 2017-09-19 - 2017-09-21, Würzburg
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works
Metadata
Show full item record