Type processing by constraint reasoning
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/42133 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-42133 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-421332015-01-08T18:17:57Z Type processing by constraint reasoning Stuckey, P.J. Sulzmann, M. Wazny, J. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4279 LNCS 1-25 2013-07-04T08:44:10Z 2013-07-04T08:44:10Z 2006 Conference Paper Stuckey, P.J.,Sulzmann, M.,Wazny, J. (2006). Type processing by constraint reasoning. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4279 LNCS : 1-25. ScholarBank@NUS Repository. 3540489371 03029743 http://scholarbank.nus.edu.sg/handle/10635/42133 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 Stuckey, P.J. Sulzmann, M. Wazny, J. |
| format |
Conference or Workshop Item |
| author |
Stuckey, P.J. Sulzmann, M. Wazny, J. |
| spellingShingle |
Stuckey, P.J. Sulzmann, M. Wazny, J. Type processing by constraint reasoning |
| author_sort |
Stuckey, P.J. |
| title |
Type processing by constraint reasoning |
| title_short |
Type processing by constraint reasoning |
| title_full |
Type processing by constraint reasoning |
| title_fullStr |
Type processing by constraint reasoning |
| title_full_unstemmed |
Type processing by constraint reasoning |
| title_sort |
type processing by constraint reasoning |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/42133 |
| _version_ |
1681082563979902976 |