Simon Guilloud | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Viktor Kuncak
14 publications

research

∙ 07/14/2023

Orthologic with Axioms

We study the proof theory and algorithms for orthologic, a logical syste...

0 Simon Guilloud, et al. ∙

research

∙ 10/07/2021

On Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

We present a quasilinear time algorithm to decide the word problem on a ...

0 Simon Guilloud, et al. ∙