A Confluence Checker for Constraint Handling Rules with Persistent Constraints

Erstveröffentlichung
2017
Metadata only
Search for full text
Beitrag zu einer Konferenz


Authors
Richter, Frank
Gall, Daniel
Frühwirth, Thom
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Softwaretechnik und Programmiersprachen
Published 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
Dewey Decimal Group
DDC 000 / Computer science, information & general works
Metadata
Show full item record