skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index
Refined by: Journal Title: arXiv.org 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

arXiv.org, 2009-12

2009. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.0912.4360

Full text available

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Databases 

  1. ROAD  (1)
  2. arXiv.org  (1)
  3. ProQuest Central  (1)
  4. Free E- Journals  (1)
  5. More options open sub menu
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