Abstract

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.

BibTeX

@inproceedings{BF-IWC15a,
  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
}