cl-banner

Cops and CoCoWeb: Infrastructure for Confluence Tools

Nao Hirokawa, Julian Nagele, and Aart Middeldorp

Proceedings of the 9th International Joint Conference on Automated Reasoning (IJCAR 2018), Lecture Notes in Artificial Intelligence 10900, pp. 346 – 353, 2018.

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.

 

  PDF |    doi:10.1007/978-3-319-94205-6_23  |  © Springer International Publishing AG

BibTeX 

@inproceedings{NHJNAM-IJCAR18,
author = "Nao Hirokawa and Julian Nagele and Aart Middeldorp",
title = "Cops and {CoCoWeb}: Infrastructure for Confluence Tools",
booktitle = "Proceedings of the 9th International Joint Conference on
Automated Reasoning (IJCAR 2019)",
editor = "Didier Galmiche and Stephan Schulz and Roberto Sebastiani",
series = "Lecture Notes in Artificial Intelligence",
volume = 10900,
pages = "346--353",
year = 2018,
doi = "10.1007/978-3-319-94205-6_23"
}
Nach oben scrollen