Formalized Signature Extension Results for Confluence, Commutation and Unique Normal Forms
Alexander Lochmann, Fabian Mitterwallner, Aart MiddeldorpProceedings of the 10th International Workshop on Confluence (IWC 2021), pp. 25 - 30, 2021.
Abstract
BibTeX
@inproceedings{ALFMAM-IWC21,
author = "Alexander Lochmann and Fabian Mitterwallner and Aart
Middeldorp",
title = "Formalized Signature Extension Results for Confluence,
Commutation and Unique Normal Forms",
booktitle = "Proceedings of the 10th International Workshop on Confluence",
pages = "25--30",
year = 2021
}