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: resource type: Conference Proceedings remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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
3
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
4
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
5
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
6
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
7
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

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (3)

Refine My Results

Creation Date 

From To
Refine
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