skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index
Show only
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited
Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited
Material Type:
Article 		Add to My Research

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

Logical methods in computer science, 2014-09, Vol.10, Issue 3 [Peer Reviewed Journal]

ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-10(3:22)2014

Full text available

Citations Cited by
2
Mechanically Proving Termination Using Polynomial Interpretations
Mechanically Proving Termination Using Polynomial Interpretations
Material Type:
Article 		Add to My Research

Mechanically Proving Termination Using Polynomial Interpretations

Journal of automated reasoning, 2005-05, Vol.34 (4), p.325-363 [Peer Reviewed Journal]

Springer Science+Business Media, Inc. 2006 ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0168-7433 ;EISSN: 1573-0670 ;DOI: 10.1007/s10817-005-9022-x

Full text available

Citations Cited by
3
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]

Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025

Full text available

Citations Cited by
4
Increasing interpretations
Increasing interpretations
Material Type:
Article 		Add to My Research

Increasing interpretations

Annals of mathematics and artificial intelligence, 2009-05, Vol.56 (1), p.87-108 [Peer Reviewed Journal]

Springer Science+Business Media B.V. 2009 ;Springer Science+Business Media B.V. 2009. ;ISSN: 1012-2443 ;EISSN: 1573-7470 ;DOI: 10.1007/s10472-009-9144-7

Full text available

Citations Cited by
5
Polynomial Interpretations for Higher-Order Rewriting
Polynomial Interpretations for Higher-Order Rewriting
Material Type:
Conference Proceeding 		Add to My Research

Polynomial Interpretations for Higher-Order Rewriting

Digital Resources/Online E-Resources

Citations Cited by
6
Max-Plus Quasi-interpretations
Max-Plus Quasi-interpretations
Material Type:
Book Chapter 		Add to My Research

Max-Plus Quasi-interpretations

Lecture notes in computer science, 2003, Vol.2701, p.31-45 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 2003 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540403329 ;ISBN: 9783540403326 ;EISSN: 1611-3349 ;EISBN: 3540449043 ;EISBN: 9783540449041 ;DOI: 10.1007/3-540-44904-3_3 ;OCLC: 166467952 ;LCCallNum: QA8.9-10.3

Full text available

Citations Cited by
7
AC-Termination of rewrite systems: A modified Knuth-Bendix ordering
AC-Termination of rewrite systems: A modified Knuth-Bendix ordering
Material Type:
Conference Proceeding 		Add to My Research

AC-Termination of rewrite systems: A modified Knuth-Bendix ordering

Algebraic and Logic Programming, 2005, p.372-386 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 1990 ;ISSN: 0302-9743 ;ISBN: 9783540531623 ;ISBN: 3540531629 ;EISSN: 1611-3349 ;EISBN: 3540467386 ;EISBN: 9783540467380 ;DOI: 10.1007/3-540-53162-9_52

Full text available

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (6)
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