cl-banner

CoCo 2017 Participant: CSI^ho 0.3

Julian Nagele

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

 

  PDF

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
}
Nach oben scrollen