CoCo 2016 Participant: FORT 1.0
Franziska Rapp and Aart MiddeldorpProceedings of the 5th International Workshop on Confluence (IWC 2016), pp. 86, 2016.
Abstract
We describe the features of FORT 1.0, a decision and synthesis tool for the first-order theory of rewriting for finite left-linear right-ground rewrite systems, which participated in the International Confluence Competition 2016.
BibTeX
@inproceedings{FRAM-IWC16,
author = "Franziska Rapp and Aart Middeldorp",
title = "{CoCo} 2016 Participant: {FORT 1.0}",
booktitle = "Proceedings of the 5th International Workshop on Confluence",
editor = "Beniamino Accattoli and Ashish Tiwari",
pages = 86,
year = 2016
}