Search
Now showing items 1-6 of 6
Cops and CoCoWeb: Infrastructure for Confluence Tools
(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 ...
Confluence Competition 2018
(Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, 2018-07-12)
We report on the 2018 edition of the Confluence Competition, a competition of software tools that aim to (dis)prove confluence and related properties of rewrite systems automatically.
Confluence Competition 2015
(2015)
Critical Peaks Redefined - Φ⊔Ψ=⊤
(2017-08-16)
Let a cluster be a term with a number of patterns occurring in it. We give two accounts of clusters, a geometric one as sets of (node and edge) positions, and an inductive one as pairs of terms with gaps (2nd order variables) ...