Georg Zetzsche

Um olhar sobre como os modelos UHAT processam sequências de dados de forma eficaz.

2025-08-07T03:11:12+00:00 ― 7 min ler

Um olhar sobre as complexidades de separar línguas em Buchi VASS.

2025-08-02T19:57:36+00:00 ― 5 min ler

Esse artigo apresenta um método pra simplificar a eliminação de quantificadores na aritmética de Presburger.

2025-07-30T03:25:48+00:00 ― 4 min ler

Explore as complexidades de contar em línguas indexadas e o papel dos slices.

2025-07-26T22:57:53+00:00 ― 5 min ler