Cited in
(11)- Context-sensitive dependency pairs
- Proving termination in the context-sensitive dependency pair framework
- Complexity of conditional term rewriting
- Program inversion for tail recursive functions
- Dependency pairs for proving termination properties of conditional term rewriting systems
- Jambox
- MU-TERM
- InvX
- Conditional Confluence
- Proving termination properties with \textsc{mu-term}
- Characterizing and proving operational termination of deterministic conditional term rewriting systems
This page was built for software: VMTL
