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