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

Polynomial interpretations as a basis for termination analysis of logic programs

CW Reports, 2005

Digital Resources/Online E-Resources

Citations Cited by
2
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
3
Polytool: Proving termination automatically based on polynomial interpretations
Polytool: Proving termination automatically based on polynomial interpretations
Material Type:
Conference Proceeding 		Add to My Research

Polytool: Proving termination automatically based on polynomial interpretations

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2007, Vol.4407, p.210-+ [Peer Reviewed Journal]

ISSN: 0302-9743 ;ISBN: 9783540714095 ;ISBN: 354071409X ;EISSN: 1611-3349

Digital Resources/Online E-Resources

Citations Cited by
4
Polynomial interpretations as a basis for termination analysis of logic programs
Polynomial interpretations as a basis for termination analysis of logic programs
Material Type:
Conference Proceeding 		Add to My Research

Polynomial interpretations as a basis for termination analysis of logic programs

Lecture Notes in Computer Science, 2005, Vol.3668, p.311-325 [Peer Reviewed Journal]

ISSN: 0302-9743 ;ISBN: 354029208X ;ISBN: 9783540292081 ;EISSN: 1611-3349

Digital Resources/Online E-Resources

Citations Cited by
5
Termination analysis of logic programs based on dependency graphs
Termination analysis of logic programs based on dependency graphs
Material Type:
Conference Proceeding 		Add to My Research

Termination analysis of logic programs based on dependency graphs

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2008, Vol.4915, p.8-22 [Peer Reviewed Journal]

ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349

Digital Resources/Online E-Resources

Citations Cited by
6
Polytool: Proving termination automatically based on polynomial interpretation
Polytool: Proving termination automatically based on polynomial interpretation
Material Type:
Conference Proceeding 		Add to My Research

Polytool: Proving termination automatically based on polynomial interpretation

Preproceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06), 2006, p.188-196

Digital Resources/Online E-Resources

Citations Cited by
7
Polynomial interpretations as a basis for termination analysis of logic programs
Polynomial interpretations as a basis for termination analysis of logic programs
Material Type:
Conference Proceeding 		Add to My Research

Polynomial interpretations as a basis for termination analysis of logic programs

Logic Based Program Synthesis and Transformation, Pre-Proceedings, 2005, p.180-186

Digital Resources/Online E-Resources

Citations Cited by
8
Program specialisation as a preprocessing step for termination analysis
Program specialisation as a preprocessing step for termination analysis
Material Type:
Conference Proceeding 		Add to My Research

Program specialisation as a preprocessing step for termination analysis

WST 2006: Eighth International Workshop on Termination, 2006, p.7-11

Digital Resources/Online E-Resources

Citations Cited by
9
Termination analysis of logic programs based on dependency graphs
Termination analysis of logic programs based on dependency graphs
Material Type:
Conference Proceeding 		Add to My Research

Termination analysis of logic programs based on dependency graphs

Pre-proceedings of LOPSTR07, 2007, p.12-26

Digital Resources/Online E-Resources

Citations Cited by
10
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:
Reports 		Add to My Research

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

CW Reports, 2009

Digital Resources/Online E-Resources

Citations Cited by
11
Termination Analysis of Logic Programs based on Dependency Graphs
Termination Analysis of Logic Programs based on Dependency Graphs
Material Type:
Reports 		Add to My Research

Termination Analysis of Logic Programs based on Dependency Graphs

CW Reports, 2007, p.15-15

Digital Resources/Online E-Resources

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (4)

Refine My Results

Creation Date 

From To
Refine
  1. Before 2005  (1)
  2. 2005 To 2005  (3)
  3. 2006 To 2006  (2)
  4. 2007 To 2008  (4)
  5. After 2008  (2)
  6. 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