Second-order finite automata: expressive power and simple proofs using automatic structures

von Kuske, Dietrich
Veröffentlicht in DLT (25. : 2021 : Porto, Portugal) Developments in Language Theory (2021)

Modelle nebenläufiger Prozesse : Monoide, Residuensysteme und Automaten

von Kuske, Dietrich
Veröffentlicht 1993

The subtrace order and counting first-order logic

von Kuske, Dietrich
Veröffentlicht in International Computer Science Symposium (15. : 2020 : Online) Computer science - theory and applications (2020)

Modelle nebenläufiger Prozesse : Monoide, Residuensysteme und Automaten

von Kuske, Dietrich
Veröffentlicht 1994

Contributions to a trace theory beyond Mazurkiewicz traces

von Kuske, Dietrich
Veröffentlicht 2000

The model-theoretic complexity of automatic linear orders

von Huschenbett, Martin
Veröffentlicht 2016