Georg Zetzsche

Una mirada a cómo los modelos UHAT procesan secuencias de datos de manera efectiva.

Una mirada a las complejidades de separar idiomas en Buchi VASS.

Este artículo presenta un método para simplificar la eliminación de cuantificadores en la aritmética de Presburger.

Explora las complejidades de contar en lenguajes indexados y el papel de las rebanadas.