CoCo 2017 Participant: CSI^ho 0.3
Julian NageleProceedings of the 6th International Workshop on Confluence (IWC 2017), pp. 77, 2017.
Abstract
We describe the features of CSI^ho 0.3, a higher-order confluence tool which participated in the International Confluence Competition 2017.
BibTeX
@inproceedings{JN-IWC17,
author = "Julian Nagele",
title = "{CoCo} 2017 Participant: {$CSI\hat{~}ho$} 0.3",
booktitle = "Proceedings of the 5th International Workshop on Confluence",
editor = "Beniamino Accattoli and Bertram Felgenhauer",
pages = 77,
year = 2017
}