A linear-logic semantics for constraint handling rules
Beitrag zu einer Konferenz
Authors
Betz, Hariolf
Frühwirth, Thom
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauPublished in
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS. - Heidelberg ; Berlin : Springer, 2005. - (LECTURE NOTES IN COMPUTER SCIENCE ; 3709). - S. 137-151. - ISBN 3-540-29238-1, ISBN 978-3-540-32050-0. - ISSN 0302-9743
Link to publication
https://dx.doi.org/10.1007/11564751_13Conference
11th International Conference on Principles and Practice of Constraint Programming (CP 2005), Sitges, SPAIN, OCT 01-05, 2005, 2005-10-01 - 2005-10-01, Sitges
Dewey Decimal Group
DDC 000 / Computer science, information & general worksDDC 510 / Mathematics