133 search results - page 1 / 27 » diagrams 2000 |
DIAGRAMS
2000
Springer
15 years 7 months ago
2000
Springer
DIAGRAMS
2000
Springer
15 years 7 months ago
2000
Springer
DIAGRAMS
2000
Springer
15 years 7 months ago
2000
Springer
125
click to vote
LOGCOM
2000
15 years 2 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 ...