A linear-logic semantics for constraint handling rules
Beitrag zu einer Konferenz
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