VMTL
From MaRDI portal
Software:22034
swMATH10065MaRDI QIDQ22034FDOQ22034
Author name not available (Why is that?)
Cited In (7)
- Proving Termination in the Context-Sensitive Dependency Pair Framework
- Proving Termination Properties with mu-term
- 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
- Title not available (Why is that?)
- Program Inversion for Tail Recursive Functions
This page was built for software: VMTL
