Alexander Gheorghiu | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Sonia Marin
7 publications
David Pym
6 publications
Simon Docherty
5 publications

research

∙ 03/03/2021

Provability in BI's Sequent Calculus is Decidable

The logic of Bunched Implications (BI) combines both additive and multip...

0 Alexander Gheorghiu, et al. ∙

research

∙ 10/16/2020

Focused Proof-search in the Logic of Bunched Implications

The logic of Bunched Implications (BI) freely combines additive and mult...

0 Alexander Gheorghiu, et al. ∙