A CLP method for compositional and intermittent predicate abstraction
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/40121 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-40121 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-401212024-11-14T00:24:05Z A CLP method for compositional and intermittent predicate abstraction Jaffar, J. Santosa, A.E. Voicu, R. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3855 LNCS 17-32 2013-07-04T07:57:07Z 2013-07-04T07:57:07Z 2006 Conference Paper Jaffar, J.,Santosa, A.E.,Voicu, R. (2006). A CLP method for compositional and intermittent predicate abstraction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3855 LNCS : 17-32. ScholarBank@NUS Repository. 3540311394 03029743 http://scholarbank.nus.edu.sg/handle/10635/40121 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NUS Library |
| 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 Jaffar, J. Santosa, A.E. Voicu, R. |
| format |
Conference or Workshop Item |
| author |
Jaffar, J. Santosa, A.E. Voicu, R. |
| spellingShingle |
Jaffar, J. Santosa, A.E. Voicu, R. A CLP method for compositional and intermittent predicate abstraction |
| author_sort |
Jaffar, J. |
| title |
A CLP method for compositional and intermittent predicate abstraction |
| title_short |
A CLP method for compositional and intermittent predicate abstraction |
| title_full |
A CLP method for compositional and intermittent predicate abstraction |
| title_fullStr |
A CLP method for compositional and intermittent predicate abstraction |
| title_full_unstemmed |
A CLP method for compositional and intermittent predicate abstraction |
| title_sort |
clp method for compositional and intermittent predicate abstraction |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/40121 |
| _version_ |
1821183987814498304 |