The following pages link to (Q2778874):
Displayed 7 items.
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Real or natural number interpretation and their effect on complexity (Q2346989) (← links)
- On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting (Q2502172) (← links)
- Proving Quadratic Derivational Complexities Using Context Dependent Interpretations (Q3522024) (← links)
- Automated Complexity Analysis Based on the Dependency Pair Method (Q3541717) (← links)
- Polynomials over the reals in proofs of termination : from theory to practice (Q5313720) (← links)
- Analyzing Innermost Runtime Complexity Through Tuple Interpretations (Q6118746) (← links)