Johannes Kloibhofer | DeepAI

DeepAI

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

Featured Co-authors

Yde Venema
11 publications
Johannes Marti
9 publications
Stefan Hetzl
5 publications
Maurice Dekker
1 publication

research

∙ 07/13/2023

Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata

Automata operating on infinite objects feature prominently in the theory...

0 Maurice Dekker, et al. ∙

research

∙ 09/10/2021

A Fixed-point Theorem for Horn Formula Equations

We consider constrained Horn clause solving from the more general point ...

0 Stefan Hetzl, et al. ∙