Browsing Electronic Engineering and Computer Science by Author "Galmiche, D"

Now showing items 1-1 of 1

    • Cops and CoCoWeb: Infrastructure for Confluence Tools 

      NAGELE, J; Hirokawa, N; Middeldorp, A; 9th International Joint Conference on Automated Reasoning (Springer Verlag, 2018-06-30)
      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 ...