![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Buchbeitrag | Konferenzbeitrag
Anzahl der Publikationen: 2
Buchbeitrag
Barth, Stephan
(2016):
Deciding Monadic Second Order Logic over ω(omega)-Words by Specialized Finite Automata.
In: Ábrahám, Erika und Huisman, Marieke (Hrsg.):
Integrated formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Programming and Software Engineering, Bd. 9681. Cham: Springer. S. 245-259
Konferenzbeitrag
Beek, Maurice H. ter 
ORCID: https://orcid.org/0000-0002-2930-6367; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Realisability of Global Models of Interaction.
20th International Colloquium on Theoretical Aspects of Computing (ICTAC), Lima, Peru, 04 - 08 December 2023.
Ábrahám, Erika; Dubslaff, Clemens und Tapia Tarifa, Silvia Lizeth (Hrsg.):
In: Theoretical Aspects of Computing – ICTAC 2023, Lecture Notes in Computer Science
Bd. 14446
Cham: Springer. S. 236-255
ORCID: https://orcid.org/0000-0002-2930-6367; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Realisability of Global Models of Interaction.
20th International Colloquium on Theoretical Aspects of Computing (ICTAC), Lima, Peru, 04 - 08 December 2023.
Ábrahám, Erika; Dubslaff, Clemens und Tapia Tarifa, Silvia Lizeth (Hrsg.):
In: Theoretical Aspects of Computing – ICTAC 2023, Lecture Notes in Computer Science
Bd. 14446
Cham: Springer. S. 236-255