scientific article
From MaRDI portal
Publication:2778874
zbMath0981.68068MaRDI QIDQ2778874
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2051/20510108
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Polynomials over the reals in proofs of termination : from theory to practice ⋮ Automatic synthesis of logical models for order-sorted first-order theories ⋮ Analyzing Innermost Runtime Complexity Through Tuple Interpretations ⋮ Proving Quadratic Derivational Complexities Using Context Dependent Interpretations ⋮ Automated Complexity Analysis Based on the Dependency Pair Method ⋮ On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting ⋮ Real or natural number interpretation and their effect on complexity