FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Cops and CoCoWeb: Infrastructure for Confluence Tools

Authors: Nao Hirokawa, Julian Nagele and Aart Middeldorp

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Cops and CoCoWeb: Infrastructure for Confluence Tools
Authors:Nao Hirokawa, Julian Nagele and Aart Middeldorp
Proceedings:IJCAR Proceedings 9th IJCAR, 2018
Editors: Stephan Schulz, Didier Galmiche and Roberto Sebastiani
Keywords:rewriting, confluence competition, confluence tool, problem database
Abstract:

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.

Pages:8
Talk:Jul 17 15:00 (Session 121E: System Descriptions)
Paper: