skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index
Refined by: Database: Lirias (KU Leuven Association) remove resource type: Articles 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

Theory and Practice of Logic Programming, 2011-01, Vol.11 (1), p.33-63 [Peer Reviewed Journal]

ISSN: 1471-0684 ;EISSN: 1475-3081

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