cl-banner

Point-Decreasing Diagrams Revisited

Bertram Felgenhauer

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

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.

 

  PDF

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
}
Nach oben scrollen