34 citations · 39 across the 12 of their papers we have counts for
1 paper · 1 filter
Simon Guilloud, Viktor Kunčak
We present a quasilinear time algorithm to decide the word problem on a natural algebraic structures we call orthocomplemented bisemilattices, a subtheory of boolean algebra. We us…