Aktuelle Informationen des Fachgebiets Automaten und Logik

Seite 3 von 3.

TU Ilmenau

Arbeit von Harry Vinall-Smeeth auf der LICS'24 zur Veröffentlichung angenommen

Die Arbeit "From Quantifier Depth to Quantifier Number: Separating Structures with k…

TU Ilmenau

Zwei Arbeiten auf der STACS'24 zu Veröffentlichung angenommen

Auf dem diesjährigem 41st International Symposium on Theoretical Aspects of Computer…

Seite 3 von 3.