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

URL / URN: http://drops.dagstuhl.de/opus/volltexte/2018/9121

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

Optionen (nur für Redakteure)

Redaktionelle Details anzeigen

OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.

Drucken |

Impressum |

Datenschutzerklärung