On Confluence of Non-terminating CHR Programs

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


Authors
Raiser, Frank
Tacchella, P.
Editor
Djelloul, K.
Duck, G. J.
Sulzmann, M.
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Programmiermethodik und Compilerbau
Published in
Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 20072007. - S. 63-76
Conference
International Conference on Logic Programming ICLP 2007, 2007-06-07 - 2007-06-08, Porto
Dewey Decimal Group
DDC 000 / Computer science, information & general works
Metadata
Show full item record