cl-banner

Confluence Properties on Open Terms in the First-Order Theory of Rewriting

Franziska Rapp and Aart Middeldorp

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

Abstract

FORT is a decision and synthesis tool for the first-order theory of rewriting for finite left-linear right-ground rewrite systems. We report on an extension that distinguishes between ground and open terms for properties related to confluence.

 

  PDF

BibTeX 

@inproceedings{FRAM-IWC16,
author = "Franziska Rapp and Aart Middeldorp",
title = "Confluence Properties on Open Terms in the First-Order Theory of Rewriting",
booktitle = "Proceedings of the 5th International Workshop on Confluence",
editor = "Beniamino Accattoli and Ashish Tiwari",
pages = "26--30",
year = 2016
}
Nach oben scrollen