CoCo 2016 Participant: FORT 1.0

Franziska Rapp and Aart Middeldorp

Proceedings of the 5th International Workshop on Confluence (IWC 2016), pp. 86, 2016.


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.




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