Florian Chudigiewitsch | DeepAI

DeepAI

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

Featured Co-authors

Timon Barlag
3 publications
Sabrina Alexandra Gaube
1 publication

research

∙ 02/27/2023

Logical Characterization of Algebraic Circuit Classes over Integral Domains

We present an adapted construction of algebraic circuits over the reals ...

0 Timon Barlag, et al. ∙

research

∙ 09/28/2021

Computational Complexity of Deciding Provability in Linear Logic and its Fragments

Linear logic was conceived in 1987 by Girard and, in contrast to classic...

0 Florian Chudigiewitsch, et al. ∙