CoCo 2017 Participant: FORT 1.0

Franziska Rapp and Aart Middeldorp

Proceedings of the 6th International Workshop on Confluence (IWC 2017), pp. 78, 2017.


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.




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