Alexander Lochmann, Fabian Mitterwallner, Aart Middeldorp
Proceedings of the 10th International Workshop on Confluence (IWC 2021), pp. 25 - 30, 2021.
pdf
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}