TU Darmstadt / ULB / TUbiblio

Bisimulation Invariant Monadic-Second Order Logic in the Finite

Blumensath, Achim ; Wolf, Felix
Chatzigiannakis, Ioannis ; Kaklamanis, Christos ; Marx, Dániel ; Sannella, Donald (eds.) :

Bisimulation Invariant Monadic-Second Order Logic in the Finite.
[Online-Edition: http://drops.dagstuhl.de/opus/volltexte/2018/9121]
In: 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Dagstuhl, Germany. In: Leibniz International Proceedings in Informatics (LIPIcs) , 107 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik , Dagstuhl, Germany
[Konferenz- oder Workshop-Beitrag], (2018)

Offizielle URL: http://drops.dagstuhl.de/opus/volltexte/2018/9121
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2018
Herausgeber: Chatzigiannakis, Ioannis ; Kaklamanis, Christos ; Marx, Dániel ; Sannella, Donald
Autor(en): Blumensath, Achim ; Wolf, Felix
Titel: Bisimulation Invariant Monadic-Second Order Logic in the Finite
Sprache: Englisch
Reihe: Leibniz International Proceedings in Informatics (LIPIcs)
Band: 107
Ort: Dagstuhl, Germany
Verlag: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Theorie Elektromagnetischer Felder
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Theorie Elektromagnetischer Felder > Computational Engineering
Exzellenzinitiative
Exzellenzinitiative > Graduiertenschulen
Exzellenzinitiative > Graduiertenschulen > Graduate School of Computational Engineering (CE)
04 Fachbereich Mathematik
04 Fachbereich Mathematik > Logik
Veranstaltungstitel: 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)
Veranstaltungsort: Dagstuhl, Germany
Hinterlegungsdatum: 06 Jul 2018 16:07
Offizielle URL: http://drops.dagstuhl.de/opus/volltexte/2018/9121
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen