Georg Zetzsche

Un aperçu de comment les modèles UHAT traitent efficacement les séquences de données.

Un aperçu des complexités de la séparation des langues dans Buchi VASS.

Cet article présente une méthode pour simplifier l'élimination des quantificateurs dans l'arithmétique de Presburger.

Explore les complexités du comptage dans les langues indexées et le rôle des tranches.