| ||||
| ||||
![]() Title:Cops and CoCoWeb: Infrastructure for Confluence Tools 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. Cops and CoCoWeb: Infrastructure for Confluence Tools ![]() Cops and CoCoWeb: Infrastructure for Confluence Tools | ||||
Copyright © 2002 – 2025 EasyChair |