2 search results - page 1 / 1 » Automated Confluence Proof by Decreasing Diagrams based on R... |
RTA
2010
Springer
13 years 8 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
13 years 4 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 ...