swMATH10065MaRDI QIDQ22034FDOQ22034
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-642-02348-4_20
Cited In (11)
- Program inversion for tail recursive functions
- Complexity of conditional term rewriting
- Proving termination in the context-sensitive dependency pair framework
- Jambox
- MU-TERM
- InvX
- Conditional Confluence
- 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
