Abstract

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.

BibTeX

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