Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Reports
|
Polynomial interpretations as a basis for termination analysis of logic programsCW Reports, 2005Digital Resources/Online E-Resources |
|
2 |
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 |
|
3 |
Material Type: Conference Proceeding
|
Polynomial interpretations as a basis for termination analysis of logic programsLecture Notes in Computer Science, 2005, Vol.3668, p.311-325 [Peer Reviewed Journal]ISSN: 0302-9743 ;ISBN: 354029208X ;ISBN: 9783540292081 ;EISSN: 1611-3349Digital Resources/Online E-Resources |
|
4 |
Material Type: Conference Proceeding
|
Polytool: Proving termination automatically based on polynomial interpretationPreproceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06), 2006, p.188-196Digital Resources/Online E-Resources |
|
5 |
Material Type: Conference Proceeding
|
Polynomial interpretations as a basis for termination analysis of logic programsLogic Based Program Synthesis and Transformation, Pre-Proceedings, 2005, p.180-186Digital Resources/Online E-Resources |
|
6 |
Material Type: Conference Proceeding
|
Program specialisation as a preprocessing step for termination analysisWST 2006: Eighth International Workshop on Termination, 2006, p.7-11Digital Resources/Online E-Resources |