Cops and CoCoWeb: Infrastructure for Confluence Tools

In this paper we describe the infrastructure supporting confluence tools and competitions: Cops, the confluence problems database, and CoCoWeb, a convenient web interface for tools that participate in the annual confluence competition

CoCoWeb - A Convenient Web Interface for Confluence Tools

6th International Workshop on Confluence6th International Workshop on ConfluenceWe present a useful web interface for tools that participate in the annual confluence competition

Confluence Competition 2018

We report on the 2018 edition of the Confluence Competition, a competition of software tools that aim to (dis)prove confluence and related properties of rewrite systems automatically