Formalized Signature Extension Results for Equivalence

Alexander Lochmann, Fabian Mitterwallner, Aart Middeldorp
Proceedings of the 11th International Workshop on Confluence (IWC 2022),   pp. 42-47, 2022.

abstract   BibTeX   PDF