Point-Step-Decreasing Diagrams

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

abstract   BibTeX   PDF