| Author | Betz, Hariolf | dc.contributor.author |
| Editor | Djelloul, K. | dc.contributor.editor |
| Editor | Duck, G. J. | dc.contributor.editor |
| Editor | Sulzmann, M. | dc.contributor.editor |
| Date of accession | 2020-03-11T15:19:12Z | dc.date.accessioned |
| Available in OPARU since | 2020-03-11T15:19:12Z | dc.date.available |
| Date of first publication | 2007 | dc.date.issued |
| Language | en_US | dc.language.iso |
| Publisher | Universität Ulm | dc.publisher |
| Dewey Decimal Group | DDC 000 / Computer science, information & general works | dc.subject.ddc |
| Title | A Linear-Logic Semantics for Constraint Handling Rules with Disjunction | dc.title |
| Resource type | Beitrag zu einer Konferenz | dc.type |
| Faculty | Fakultät für Ingenieurwissenschaften, Informatik und Psychologie | uulm.affiliationGeneral |
| Institution | Institut für Programmiermethodik und Compilerbau | uulm.affiliationSpecific |
| DCMI Type | Text | uulm.typeDCMI |
| Category | Publikationsnachweise | uulm.category |
| Source - Title of source | Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 | source.title |
| Source - Publisher | Klueven | source.publisherPlace |
| Source - Year | 2007 | source.year |
| Source - From page | 17 | source.fromPage |
| Source - To page | 31 | source.toPage |
| Conference name | International Conference on Logic Programming ICLP 2007 | uulm.conferenceName |
| Conference place | Porto | uulm.conferencePlace |
| Conference start date | 2007-09-08 | uulm.conferenceStartDate |
| Suitable community | Fakultät für Ingenieurwissenschaften, Informatik und Psychologie | uulm.community |
| University Bibliography | ja | uulm.unibibliographie |
