4 citations · 9 across the 5 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 4 cited
Algebraic coherent confluence and higher globular Kleene algebras
Cameron Calk, Eric Goubault, Philippe Malbos +1
We extend the formalisation of confluence results in Kleene algebras to a formalisation of coherent confluence proofs. For this, we introduce the structure of higher globular Kleen…
cs.LO2020★ 4 cited
Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs
Cameron Calk, Anupam Das, Tim Waring
We propose a graph-based extension of Boolean logic called Boolean Graph Logic (BGL). Construing formula trees as the cotrees of cographs, we may state semantic notions such as eva…