cl-banner

Point-Step-Decreasing Diagrams

Bertram Felgenhauer

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

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.

 

  PDF

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