VMTL
From MaRDI portal
Software:22034
swMATH10065MaRDI QIDQ22034FDOQ22034
Author name not available (Why is that?)
Cited In (7)
- Program inversion for tail recursive functions
- Complexity of conditional term rewriting
- Proving termination in the context-sensitive dependency pair framework
- Dependency pairs for proving termination properties of conditional term rewriting systems
- Characterizing and proving operational termination of deterministic conditional term rewriting systems
- Context-sensitive dependency pairs
- Proving termination properties with \textsc{mu-term}
This page was built for software: VMTL
