TU Darmstadt / ULB / TUbiblio

Bisimulation Invariant Monadic-Second Order Logic in the Finite

Blumensath, Achim and Wolf, Felix
Chatzigiannakis, Ioannis and Kaklamanis, Christos and Marx, Dániel and Sannella, Donald (eds.) (2018):
Bisimulation Invariant Monadic-Second Order Logic in the Finite.
Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, In: 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Dagstuhl, Germany, In: Leibniz International Proceedings in Informatics (LIPIcs), 107, [Online-Edition: http://drops.dagstuhl.de/opus/volltexte/2018/9121],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2018
Editors: Chatzigiannakis, Ioannis and Kaklamanis, Christos and Marx, Dániel and Sannella, Donald
Creators: Blumensath, Achim and Wolf, Felix
Title: Bisimulation Invariant Monadic-Second Order Logic in the Finite
Language: English
Series Name: Leibniz International Proceedings in Informatics (LIPIcs)
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
Official URL: http://drops.dagstuhl.de/opus/volltexte/2018/9121
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item