A Confluence Checker for Constraint Handling Rules with Persistent Constraints

Erstveröffentlichung
2017
Autoren
Richter, Frank
Gall, Daniel
Frühwirth, Thom
Beitrag zu einer Konferenz


Erschienen in
Proceedings of the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)2017
Fakultäten
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutionen
Institut für Softwaretechnik und Programmiersprachen
Konferenz
21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP), 2017-09-19 - 2017-09-21, Würzburg
Schlagwörter
[DDC Sachgruppe]: DDC 000 / Computer science, information & general works
Metadata
Zur Langanzeige