Observable confluence for constraint handling rules
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Saved in:
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2013
|
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40516 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-40516 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-405162015-01-06T19:12:13Z Observable confluence for constraint handling rules Duck, G.J. Stuckey, P.J. Sulzmann, M. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4670 LNCS 224-239 2013-07-04T08:06:07Z 2013-07-04T08:06:07Z 2007 Conference Paper Duck, G.J.,Stuckey, P.J.,Sulzmann, M. (2007). Observable confluence for constraint handling rules. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4670 LNCS : 224-239. ScholarBank@NUS Repository. 9783540746089 03029743 http://scholarbank.nus.edu.sg/handle/10635/40516 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| country |
Singapore |
| collection |
ScholarBank@NUS |
| description |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Duck, G.J. Stuckey, P.J. Sulzmann, M. |
| format |
Conference or Workshop Item |
| author |
Duck, G.J. Stuckey, P.J. Sulzmann, M. |
| spellingShingle |
Duck, G.J. Stuckey, P.J. Sulzmann, M. Observable confluence for constraint handling rules |
| author_sort |
Duck, G.J. |
| title |
Observable confluence for constraint handling rules |
| title_short |
Observable confluence for constraint handling rules |
| title_full |
Observable confluence for constraint handling rules |
| title_fullStr |
Observable confluence for constraint handling rules |
| title_full_unstemmed |
Observable confluence for constraint handling rules |
| title_sort |
observable confluence for constraint handling rules |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/40516 |
| _version_ |
1681082281472557056 |