dc.contributor.author | NAGELE, J | en_US |
dc.contributor.author | Hirokawa, N | en_US |
dc.contributor.author | Middeldorp, A | en_US |
dc.contributor.author | 9th International Joint Conference on Automated Reasoning | en_US |
dc.contributor.editor | Galmiche, D | en_US |
dc.contributor.editor | Schulz, S | en_US |
dc.contributor.editor | Sebastiani, R | en_US |
dc.date.accessioned | 2018-07-18T12:11:53Z | |
dc.date.accessioned | 2018-07-27T12:36:12Z | |
dc.date.available | 2018-03-30 | en_US |
dc.date.issued | 2018-06-30 | en_US |
dc.date.submitted | 2018-05-02T17:21:19.209Z | |
dc.date.submitted | 2018-07-23T18:33:43.783Z | |
dc.identifier.isbn | 978-3-319-94204-9 | en_US |
dc.identifier.issn | 0302-9743 | en_US |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/42665 | |
dc.description.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. | en_US |
dc.format.extent | 346 - 353 | en_US |
dc.publisher | Springer Verlag | en_US |
dc.relation.replaces | http://qmro.qmul.ac.uk/xmlui/handle/123456789/42323 | |
dc.relation.replaces | 123456789/42323 | |
dc.rights | This is a pre-copyedited, author-produced version of an article accepted for publication in International Joint Conference on Automated Reasoning following peer review. The version of record is available https://link.springer.com/chapter/10.1007/978-3-319-94205-6_23 | |
dc.title | Cops and CoCoWeb: Infrastructure for Confluence Tools | en_US |
dc.type | Conference Proceeding | |
dc.rights.holder | © Springer International Publishing AG, part of Springer Nature 2018 | |
dc.identifier.doi | 10.1007/978-3-319-94205-6_23 | en_US |
pubs.notes | No embargo | en_US |
pubs.publication-status | Published | en_US |
pubs.volume | 10900 | en_US |
dcterms.dateAccepted | 2018-03-30 | en_US |