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.) (2018):
Bisimulation Invariant Monadic-Second Order Logic in the Finite.
In: Leibniz International Proceedings in Informatics (LIPIcs), 107, pp. 117:1-117:13, Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Dagstuhl, Germany, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2018
Editors: Chatzigiannakis, Ioannis ; Kaklamanis, Christos ; Marx, Dániel ; Sannella, Donald
Creators: Blumensath, Achim ; Wolf, Felix
Title: Bisimulation Invariant Monadic-Second Order Logic in the Finite
Language: English
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Series Volume: 107
Place of Publication: Dagstuhl, Germany
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Divisions: 18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Electromagnetic Field Theory (from 01.01.2019 renamed Institute for Accelerator Science and Electromagnetic Fields)
18 Department of Electrical Engineering and Information Technology > Institute of Electromagnetic Field Theory (from 01.01.2019 renamed Institute for Accelerator Science and Electromagnetic Fields) > Computational Engineering (from 01.01.2019 renamed Computational Electromagnetics)
Exzellenzinitiative
Exzellenzinitiative > Graduate Schools
Exzellenzinitiative > Graduate Schools > Graduate School of Computational Engineering (CE)
04 Department of Mathematics
04 Department of Mathematics > Logic
Event Title: 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)
Event Location: Dagstuhl, Germany
Date Deposited: 06 Jul 2018 16:07
URL / URN: http://drops.dagstuhl.de/opus/volltexte/2018/9121
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details