Confluence by Decreasing Diagrams Converted Vincent van Oostrom ?

@inproceedings{Oostrom2008ConfluenceBD,
  title={Confluence by Decreasing Diagrams Converted Vincent van Oostrom ?},
  author={Vincent van Oostrom},
  year={2008}
}
The decreasing diagrams technique is a complete method to reduce confluence of a rewrite relation to local confluence. Whereas previous presentations have focussed on the proof the technique is correct, here we focus on applicability. We present a simple but powerful generalisation of the technique, requiring peaks to be closed only by conversions instead of valleys, which is demonstrated to further ease applicability. 
Highly Cited
This paper has 55 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

55 Citations

051015'09'11'13'15'17
Citations per Year
Semantic Scholar estimates that this publication has 55 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Confluence for Abstract and Higher-Order Rewriting

  • V. van Oostrom
  • PhD thesis, Vrije Universiteit, Amsterdam
  • 1994
Highly Influential
4 Excerpts

Term Rewriting Systems

  • Terese
  • Volume 55 of Cambridge Tracts in Theoretical…
  • 2003
3 Excerpts

Similar Papers

Loading similar papers…