Browsing Electronic Engineering and Computer Science by Author "6th International Workshop on Confluence"

Now showing items 1-2 of 2

    • CoCoWeb - A Convenient Web Interface for Confluence Tools 

      Nagele, J; Middeldorp, A; 6th International Workshop on Confluence (2017-08-16)
      We present a useful web interface for tools that participate in the annual confluence competition.

    • Critical Peaks Redefined - Φ⊔Ψ=⊤ 

      Hirokawa, N; Nagele, J; Oostrom, VV; Oyamaguchi, M; 6th International Workshop on Confluence (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) ...