Georg Zetzsche

Directed languages play a crucial role in computer science and language theory.

A look at how UHAT models process data sequences effectively.

A look into the complexities of separating languages in Buchi VASS.

This article presents a method to simplify quantifier elimination in Presburger arithmetic.

Explore the complexities of counting in indexed languages and the role of slices.