Abstract

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}