Cited in
(22)- Twenty years of rewriting logic
- Proving operational termination of membership equational programs
- Proving weak properties of rewriting
- Theoretical Aspects of Computing - ICTAC 2004
- Orderings and Constraints: Theory and Practice of Proving Termination
- Term Rewriting and Applications
- Mechanically proving termination using polynomial interpretations
- 2OBJ
- K-Maude
- SCC
- MU-TERM
- VMTL
- TORPA
- Tsukuba
- SymPLFIED
- Automated Reasoning
- Outermost ground termination
- Characterizing and proving operational termination of deterministic conditional term rewriting systems
- The size-change principle and dependency pairs for termination of term rewriting
- Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
- From Outermost to Context-Sensitive Rewriting
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
This page was built for software: CARIBOO
