| 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 |
Drucken
Impressum