6 Results for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
Refined by:
creation date:
Before 2007
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book Chapter
|
|
Polynomial Interpretations as a Basis for Termination Analysis of Logic ProgramsLecture notes in computer science, 2005, p.311-325 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2005 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540292081 ;ISBN: 354029208X ;EISSN: 1611-3349 ;EISBN: 9783540319474 ;EISBN: 3540319476 ;DOI: 10.1007/11562931_24Digital Resources/Online E-Resources |
| 2 |
Material Type: Reports
|
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 69540Digital Resources/Online E-Resources |
| 3 |
Material Type: Conference Proceeding
|
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 65589 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/11562931_24Digital Resources/Online E-Resources |
| 4 |
Material Type: Conference Proceeding
|
|
Polytool: Proving termination automatically based on polynomial interpretationpublic 69543Digital Resources/Online E-Resources |
| 5 |
Material Type: Conference Proceeding
|
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 383200Digital Resources/Online E-Resources |
| 6 |
Material Type: Conference Proceeding
|
|
Program specialisation as a preprocessing step for termination analysispublic 69544; 352615Digital Resources/Online E-Resources |
Personalize your results
Refine Search Results
Expand My Results
Show only
Resource Type
- Conference Proceedings (4)
- Reports (1)
- Book Chapters (1)
-
More options
Subject
- Polynomial Interpretations (2)
- Acceptability (2)
- Termination Analysis (2)
- Technology (1)
- Language Theory And Syntactical Analysis (1)
- Computer Science; Control Theory; Systems (1)
- Theoretical Computing (1)
- Science & Technology (1)
- Computer Science (1)
- Exact Sciences And Technology (1)
- Computer Science, Theory & Methods (1)
- Applied Sciences (1)
-
More options
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||