Point-Decreasing Diagrams Revisited

Bertram Felgenhauer

Proceedings of the 4th International Workshop on Confluence (IWC 2015), pp. 3 – 7, 2015.


In this note we revisit Bognar’s point version of decreasing diagrams. We show that it is an instance of van Oostrom’s decreasing diagrams. Furthermore we demonstrate that the point version of decreasing diagrams is complete for confluence of finite abstract rewrite systems, contradicting a counterexample by Bognar.




author = "Bertram Felgenhauer",
title = "Point-Decreasing Diagrams Revisited",
booktitle = "Proceedings of the 4th International Workshop on Confluence",
editor = "Ashish Tiwari and Takahito Aoto",
pages = "3--7",
year = 2015
Nach oben scrollen