Dietrich Kuske | DeepAI

DeepAI

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

Featured Co-authors

Jiamou Liu
29 publications
Georg Zetzsche
14 publications
Peter Habermehl
3 publications
Anastasia Moskvina
1 publication

research

∙ 04/08/2022

On Presburger arithmetic extended with non-unary counting quantifiers

We consider a first-order logic for the integers with addition. This log...

0 Peter Habermehl, et al. ∙

research

∙ 01/08/2019

Languages ordered by the subword order

We consider a language together with the subword relation, the cover rel...

0 Dietrich Kuske, et al. ∙

research

∙ 12/11/2017

Infinite and Bi-infinite Words with Decidable Monadic Theories

We study word structures of the form (D,<,P) where D is either N or Z, <...

0 Dietrich Kuske, et al. ∙