cl-banner

CoCo 2018 Participant: CSI^ho 0.3.2

Julian Nagele

Proceedings of the 7th International Workshop on Confluence (IWC 2018), pp. 68, 2018.

Abstract

We describe the features of CSI^ho 0.3.2, a higher-order confluence tool which participated in the International Confluence Competition 2018.

 

  PDF

BibTeX 

@inproceedings{JN-IWC18,
author = "Julian Nagele",
title = "{CoCo} 2018 Participant: {$CSI\hat{~}ho$} 0.3.2",
booktitle = "Proceedings of the 7th International Workshop on Confluence",
editor = "Bertram Felgenhauer and Jakob Grue Simonsen",
pages = 68,
year = 2018
}
Nach oben scrollen