2 search results - page 1 / 1 » Automated Confluence Proof by Decreasing Diagrams based on R... |
RTA
2010
Springer
15 years 2 months ago
2010
Springer
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
LOGCOM
2000
14 years 10 months ago
2000
The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria act rewriting, such as the strong confluence lemma. We give a ...