Florian Starke | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Manuel Bodirsky
31 publications
Simon Knäuer
8 publications
Jakub Bulín
3 publications
Michael Wernthaler
1 publication

research

∙ 05/16/2022

The Smallest Hard Trees

We find an orientation of a tree with 20 vertices such that the correspo...

0 Manuel Bodirsky, et al. ∙

research

∙ 01/22/2020

ASNP: a tame fragment of existential second-order logic

Amalgamation SNP (ASNP) is a fragment of existential second-order logic ...

0 Manuel Bodirsky, et al. ∙

research

∙ 01/22/2020

AMSNP: a tame fragment of existential second-order logic

Amalgamation monotone SNP (AMSNP) is a fragment of existential second-or...

0 Manuel Bodirsky, et al. ∙

research

∙ 01/22/2018

Topological Entropy of Formal Languages

In this thesis we will introduce topological automata and the topologica...

0 Florian Starke, et al. ∙