The following pages link to Programming Languages and Systems (Q5902358):
Displayed 3 items.
- Enhancing dependency pair method using strong computability in simply-typed term rewriting (Q2460908) (← links)
- The size-change principle and dependency pairs for termination of term rewriting (Q2573795) (← links)
- Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems (Q3194732) (← links)