Point-Step-Decreasing Diagrams

Bertram Felgenhauer

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


Inspired by Bognar’s point-decreasing diagrams, we present a generalisation of decreasing diagrams in which both the objects and the steps of conversions are labeled. We argue that this extension is more powerful than decreasing diagrams. However, it remains to be seen whether this power can be exploited in practice.




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