Abstract

We study commutation of rewrite systems under swapping, reversing.

BibTeX

@inproceedings{VvO-IWC20,
  author    = "Vincent van Oostrom",
  title     = "Some Symmetries of Commutation Diamonds",
  booktitle = "Proceedings of the 9th International Workshop on Confluence",
  editor    = "Mauricio Ayala-Rinc\ ́on and Samuel Mimram",
  pages     = "1-5",
  year      = 2020,
  url       = "http://iwc2020.cic.unb.br/iwc2020_proceedings.pdf",
  urltalk   = "https://www.youtube.com/watch?v=B4pg6t0lIYc&t=3772"
}