A Linear-Logic Semantics for Constraint Handling Rules with Disjunction
Beitrag zu einer Konferenz
Authors
Betz, Hariolf
Editor
Djelloul, K.Duck, G. J.
Sulzmann, M.
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauPublished in
Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007. - Klueven : 2007. - S. 17-31
Conference
International Conference on Logic Programming ICLP 2007, 2007-09-08, Porto