On Confluence of Non-terminating CHR Programs

Erstveröffentlichung
2007Authors
Raiser, Frank
Tacchella, P.
Editor
Djelloul, K.Duck, G. J.
Sulzmann, M.
Beitrag zu einer Konferenz
Published in
Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 20072007. - S. 63-76
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauConference
International Conference on Logic Programming ICLP 2007, 2007-06-07 - 2007-06-08, Porto