Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 1.
Blumensath, Achim ; Wolf, Felix
Hrsg.: Chatzigiannakis, Ioannis ; Kaklamanis, Christos ; Marx, Dániel ; Sannella, Donald (2018)
Bisimulation Invariant Monadic-Second Order Logic in the Finite.
45th International Colloquium on Automata, Languages, and Programming (ICALP 2018). Dagstuhl, Germany
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum