Multi-redexes and multi-treks induce residual systems; least upper bounds and left-cancellation up to homotopy

Vincent van Oostrom
10th International Workshop on Confluence (IWC 2021), pp. 7, 2021.

 pdf

BibTex

@InProceedings{Oost:21:mr,
author = "Oostrom, V. van",
title = "Multi-redexes and multi-treks induce residual systems;
least upper bounds and left-cancellation up to homotopy",
booktitle = {Proceedings of the 10th International Workshop on Confluence (IWC 2021)},
pages = {1-7}
month = jul,
editors = {Ayala-Rincón, M. and Mimram, S.},
year = 2021
}