skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Polynomial interpretations as a basis for termination analysis of logic programs

CW Reports, 2005

Digital Resources/Online E-Resources

Citations Cited by
  • Title:
    Polynomial interpretations as a basis for termination analysis of logic programs
  • Author: Nguyen, Manh ; De Schreye, Danny
  • Nguyen, Manh Thang
  • Is Part Of: CW Reports, 2005
  • Publisher: Department of Computer Science, K.U.Leuven, Leuven, Belgium
  • Language: English
  • Source: Lirias (KU Leuven Association)
Back to results list
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