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 programspublic 69540Digital Resources/Online E-Resources |
|
2 |
Material Type: Reports
|
Leiomyomatosis peritonealis dissemianata five years after laparoscopic uterine myomectomy: A case reportAnnals of medicine and surgery (2012), 2021, Vol.66, p.102377-102377ISSN: 2049-0801 ;EISSN: 2049-0801 ;DOI: 10.1016/j.amsu.2021.102377Full text available |
|
3 |
Material Type: Reports
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programspublic 86245Digital Resources/Online E-Resources |
|
4 |
Material Type: Reports
|
Termination Analysis of Logic Programs based on Dependency Graphspublic 69541Digital Resources/Online E-Resources |