Logical fragments for mazurkiewicz traces : expressive power and algebraic characterizations

von Kufleitner, Manfred
Veröffentlicht 2006

Reachability Games and Parity Games

von Diekert, Volker
Veröffentlicht in ICTAC (19. : 2022 : Tiflis) Theoretical aspects of computing - ICTAC 2022 (2022)

Conelikes and Ranker Comparisons

von Henriksson, Viktor
Veröffentlicht in LATIN (15. : 2022 : Guanajuato) LATIN 2022 - theoretical informatics (2022)

Deciding FO2 Alternation for Automata over Finite and Infinite Words

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

Elemente der diskreten Mathematik : Zahlen und Zählen, Graphen und Verbände

von Diekert, Volker
Veröffentlicht 2013

Elemente der diskreten Mathematik : Zahlen und Zählen, Graphen und Verbände

von Diekert, Volker
Veröffentlicht 2013

Diskrete algebraische Methoden : Arithmetik, Kryptographie, Automaten und Gruppen

von Diekert, Volker
Veröffentlicht 2013

Discrete algebraic methods : arithmetic, cryptography, automata and groups

von Diekert, Volker
Veröffentlicht 2016

Elements of discrete mathematics : numbers and counting, groups, graphs, orders and lattices

von Diekert, Volker
Veröffentlicht 2024

Discrete algebraic methods : arithmetic, cryptography, automata and groups

Veröffentlicht 2016