Pages that link to "Item:Q5464701"
From MaRDI portal
The following pages link to Artificial Intelligence and Symbolic Computation (Q5464701):
Displaying 14 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- Tyrolean termination tool: techniques and features (Q876042) (← links)
- Mechanizing and improving dependency pairs (Q877836) (← links)
- Increasing interpretations (Q1044231) (← links)
- Multi-dimensional interpretations for termination of term rewriting (Q2055861) (← links)
- Tuple interpretations for termination of term rewriting (Q2102931) (← links)
- Relative termination via dependency pairs (Q2360875) (← links)
- Automating the dependency pair method (Q2486583) (← links)
- Reducing Relative Termination to Dependency Pair Problems (Q3454090) (← links)
- Arctic Termination ...Below Zero (Q3522019) (← links)
- Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic (Q5191109) (← links)
- Polynomials over the reals in proofs of termination : from theory to practice (Q5313720) (← links)
- Increasing Interpretations (Q5505499) (← links)
