CoCo 2017 Participant: FORT 1.0
Franziska Rapp and Aart MiddeldorpProceedings of the 6th International Workshop on Confluence (IWC 2017), pp. 78, 2017.
Abstract
We describe 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 2017.
BibTeX
@inproceedings{FRAM-IWC17,
author = "Franzisak Rapp and Aart Middeldorp",
title = "{CoCo} 2017 Participant: {FORT} 1.0",
booktitle = "Proceedings of the 6th International Workshop on Confluence",
editor = "Beniamino Accattoli and Bertram Felgenhauer",
pages = 78,
year = 2017
}