cl-banner

CoCo 2015 Participant: CSIˆho 0.1

Julian Nagele

Proceedings of the 4th International Workshop on Confluence (IWC 2015), pp. 47, 2015.

Abstract

We describe the features of CSI^ho, a confluence tool, for higher-order rewrite systems, which participated in the International Confluence Competition 2015.

 

  PDF

BibTeX 

@inproceedings{JN-IWC15,
author = "Julian Nagele",
title = "{CoCo} 2015 Participant: {$CSI\hat{~}ho$} 0.1",
booktitle = "Proceedings of the 4th International Workshop on Confluence",
editor = "Ashish Tiwari and Takahito Aoto",
pages = 47,
year = 2015
}
Nach oben scrollen