A Linear-Logic Semantics for Constraint Handling Rules with Disjunction

Erstveröffentlichung
2007
Authors
Betz, Hariolf
Editor
Djelloul, K.
Duck, G. J.
Sulzmann, M.
Beitrag zu einer Konferenz


Published in
Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007. - Klueven : 2007. - S. 17-31
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Programmiermethodik und Compilerbau
Conference
International Conference on Logic Programming ICLP 2007, 2007-09-08, Porto
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works
Metadata
Show full item record