Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/cp/BetzF05
AU - Betz, Hariolf
AU - Frühwirth, Thom W.
TI - A Linear-Logic Semantics for Constraint Handling Rules.
BT - Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings
SP - 137
EP - 151
PY - 2005//
DO - 10.1007/11564751_13
UR - https://doi.org/10.1007/11564751_13
ER -