Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
41 |
Material Type: Conference Proceeding
|
Program specialisation as a preprocessing step for termination analysispublic 69544; 352615Digital Resources/Online E-Resources |
|
42 |
Material Type: Conference Proceeding
|
Termination analysis of logic programs based on dependency graphspublic 69542Digital Resources/Online E-Resources |
|
43 |
Material Type: Reports
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programspublic 86245Digital Resources/Online E-Resources |
|
44 |
Material Type: Reports
|
Termination Analysis of Logic Programs based on Dependency Graphspublic 69541Digital Resources/Online E-Resources |