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
|
Termination Analysis of Logic Programs Based on Dependency GraphsLogic-Based Program Synthesis and Transformation, p.8-22 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2008 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;EISBN: 9783540787693 ;EISBN: 3540787690 ;DOI: 10.1007/978-3-540-78769-3_2Digital Resources/Online E-Resources |
|
3 |
Material Type: Book Chapter
|
Polytool: Proving Termination Automatically Based on Polynomial InterpretationsLogic-Based Program Synthesis and Transformation, p.210-218 [Peer Reviewed Journal]Springer Berlin Heidelberg 2007 ;ISSN: 0302-9743 ;ISBN: 354071409X ;ISBN: 9783540714095 ;EISSN: 1611-3349 ;EISBN: 9783540714101 ;EISBN: 3540714103 ;DOI: 10.1007/978-3-540-71410-1_15Digital Resources/Online E-Resources |
|
4 |
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 |
|
5 |
Material Type: Thesises (postgraduate)
|
|
|
6 |
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 |
|
7 |
Material Type: Conference Proceeding
|
Termination analysis of logic programs based on dependency graphspublic 69542Digital Resources/Online E-Resources |
|
8 |
Material Type: Reports
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programspublic 86245Digital Resources/Online E-Resources |
|
9 |
Material Type: Reports
|
Termination Analysis of Logic Programs based on Dependency Graphspublic 69541Digital Resources/Online E-Resources |