cl-banner

Commutation via Relative Termination

Nao Hirokawa and Aart Middeldorp

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

Abstract

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).

 

  PDF

BibTeX 

@inproceedings{NHAM-IWC13,
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