skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index
Refined by: resource type: Articles remove Database: Lirias (KU Leuven Association) remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
Material Type:
Article 		Add to My Research

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

public 100499 ;ISSN: 1471-0684 ;ISSN: 1475-3081 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025

Full text available

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait