Search
Now showing items 1-2 of 2
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) ...
CoCoWeb - A Convenient Web Interface for Confluence Tools
(2017-08-16)
We present a useful web interface for tools that participate in the annual confluence competition.