Commutation via Relative Termination

Nao Hirokawa and Aart Middeldorp

Proceedings of the 2nd International Workshop on Confluence (IWC 2013), pp. 29 – 33, 2013.


We present a generalisation of a commutation criterion by Rosen (1973), the development closedness theorem by van Oostrom (1994), and a confluence criterion by Hirokawa and Middeldorp (2011).




author = "Nao Hirokawa and Aart Middeldorp",
title = "Commutation via Relative Termination",
booktitle = "Proceedings of the 2nd International Workshop on Confluence",
editor = "Nao Hirokawa and Vincent van Oostrom",
pages = "29--33",
year = 2013
Nach oben scrollen