TU Darmstadt / ULB / TUbiblio

Bisimulation Invariant Monadic-Second Order Logic in the Finite

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

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2018
Herausgeber: Chatzigiannakis, Ioannis ; Kaklamanis, Christos ; Marx, Dániel ; Sannella, Donald
Autor(en): Blumensath, Achim ; Wolf, Felix
Art des Eintrags: Bibliographie
Titel: Bisimulation Invariant Monadic-Second Order Logic in the Finite
Sprache: Englisch
Publikationsjahr: 2018
Ort: Dagstuhl, Germany
Verlag: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Reihe: Leibniz International Proceedings in Informatics (LIPIcs)
Band einer Reihe: 107
Veranstaltungstitel: 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)
Veranstaltungsort: Dagstuhl, Germany
URL / URN: http://drops.dagstuhl.de/opus/volltexte/2018/9121
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Theorie Elektromagnetischer Felder (ab 01.01.2019 umbenannt in Institut für Teilchenbeschleunigung und Theorie Elektromagnetische Felder)
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Theorie Elektromagnetischer Felder (ab 01.01.2019 umbenannt in Institut für Teilchenbeschleunigung und Theorie Elektromagnetische Felder) > Computational Engineering (ab 01.01.2019 umbenannt in Computational Electromagnetics)
Exzellenzinitiative
Exzellenzinitiative > Graduiertenschulen
Exzellenzinitiative > Graduiertenschulen > Graduate School of Computational Engineering (CE)
04 Fachbereich Mathematik
04 Fachbereich Mathematik > Logik
Hinterlegungsdatum: 06 Jul 2018 16:07
Letzte Änderung: 06 Jul 2018 16:07
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen