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 subject: Science & Technology 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

public 528675 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 9783540714095 ;ISBN: 354071409X ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-71410-1_15

Digital Resources/Online E-Resources

Citations Cited by
2
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

public 528673 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-78769-3_2

Digital Resources/Online E-Resources

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

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