cl-banner

CoCo 2019 Participant: CSI 1.2.3

Bertram Felgenhauer, Aart Middeldorp, and Fabian Mitterwallner

Joint Proceedings of the 10th Workshop on Higher-Order Rewriting (HOR 2019) and the 7th International Workshop on Confluence (IWC 2019), pp. 54, 2019.

Abstract

We describe CSI 1.2.3, a confluence tool which participated in the International Confluence Competition 2019.

 

  PDF

BibTeX 

@inproceedings{BFAMFM-IWC19,
author = "Bertram Felgenhauer and Aart Middeldorp and Fabian Mitterwallner",
title = "{CoCo} 2019 Participant: {CSI} 1.2.3",
booktitle = "Joint Proceedings of the 10th Workshop on Higher-Order Rewriting
and the 8th International Workshop on Confluence",
editor = "Mauricio Ayala-Rinc{\'o}n and Silvia Ghilezan and Jakob Grue Simonsen",
pages = 54,
year = 2019
}
Nach oben scrollen