Georg Zetzsche

Le lingue dirette giocano un ruolo fondamentale nella scienza informatica e nella teoria del linguaggio.

Uno sguardo a come i modelli UHAT elaborano le sequenze di dati in modo efficace.

Uno sguardo alle complessità del separare le lingue in Buchi VASS.

Quest'articolo presenta un metodo per semplificare l'eliminazione dei quantificatori nell'aritmetica di Presburger.

Esplora le complessità del conteggio nelle lingue indicizzate e il ruolo delle fette.