8 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:
2007 To 2010
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Conference Proceeding
|
|
Polytool: Proving termination automatically based on polynomial interpretationspublic 528675 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 9783540714095 ;ISBN: 354071409X ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-71410-1_15Digital Resources/Online E-Resources |
| 2 |
Material Type: Book Chapter
|
|
The Dependency Triple Framework for Termination of Logic ProgramsLogic-Based Program Synthesis and Transformation, p.37-51 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2010 ;ISSN: 0302-9743 ;ISBN: 3642125913 ;ISBN: 9783642125911 ;EISSN: 1611-3349 ;EISBN: 9783642125928 ;EISBN: 3642125921 ;DOI: 10.1007/978-3-642-12592-8_4Digital Resources/Online E-Resources |
| 3 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphspublic 528673 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-78769-3_2Digital Resources/Online E-Resources |
| 4 |
Material Type: Thesises (postgraduate)
|
|
|
| 5 |
Material Type: Article
|
|
Polytool: polynomial interpretations as a basis for termination analysis of Logic programsarXiv.org, 2009-122009. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.0912.4360Full text available |
| 6 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphspublic 69542Digital Resources/Online E-Resources |
| 7 |
Material Type: Reports
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programspublic 86245Digital Resources/Online E-Resources |
| 8 |
Material Type: Reports
|
|
Termination Analysis of Logic Programs based on Dependency Graphspublic 69541Digital Resources/Online E-Resources |
Personalize your results
Refine Search Results
Expand My Results
Show only
Resource Type
- Conference Proceedings (3)
- Reports (2)
- Thesises (postgraduate) (1)
- Articles (1)
- Book Chapters (1)
-
More options
Subject
- Technology (3)
- Computer Science (3)
- Science & Technology (3)
- Computer Science, Theory & Methods (3)
- Computer Science, Software Engineering (2)
- Logic Programs (2)
- Computer Science - Programming Languages (1)
- Proofs (1)
- Polynomial Interpretations (1)
- Feasibility Studies (1)
- Norms (1)
- Computer Science - Logic In Computer Science (1)
- Pair Framework (1)
- Polynomials (1)
-
More options
Databases
Language
- English (7)
- Dutch (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 | ||