Cops and CoCoWeb: Infrastructure for Confluence Tools

Title:Cops and CoCoWeb: Infrastructure for Confluence Tools

Authors:Nao Hirokawa, Julian Nagele and Aart Middeldorp

Conference:IJCAR-2018

Tags:confluence competition, confluence problem, confluence tool, problem database, rewrite system, rewriting and term rewrite system

Abstract:

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.