Steffen van Bergerem | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Martin Grohe
9 publications
Sandra Kiefer
3 publications
Luca Oeljeklaus
1 publication
Nina Runde
1 publication

research

∙ 09/19/2023

On the Parameterized Complexity of Learning Monadic Second-Order Formulas

Within the model-theoretic framework for supervised learning introduced ...

0 Steffen van Bergerem, et al. ∙

research

∙ 04/25/2023

Simulating Logspace-Recursion with Logarithmic Quantifier Depth

The fixed-point logic LREC= was developed by Grohe et al. (CSL 2011) in ...

0 Steffen van Bergerem, et al. ∙

Success!

An error occurred