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