Extensions of ω-Regular Languages

Bojańczyk, Mikołaj; Kelmendi, Edon; Stefański, Rafał; Zetzsche, Georg

doi:10.1145/3373718.3394779

Lokale TagsFreigabegeschichteDetailsÜbersicht

Extensions of ω-Regular Languages

Bojańczyk, M., Kelmendi, E., Stefański, R., & Zetzsche, G. (2020). Extensions of ω-Regular Languages. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 266-272). New York, NY: ACM. doi:10.1145/3373718.3394779.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0008-6F33-3 Versions-Permalink: https://hdl.handle.net/21.11116/0000-0009-6F0A-1

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

ausblenden: Dateien

:

3373718.3394779.pdf (Verlagsversion), 627KB

Öffnen Speichern

Datei-Permalink:
https://hdl.handle.net/21.11116/0000-0009-6F0B-0

Name:
3373718.3394779.pdf

Beschreibung:
-

OA-Status:

Sichtbarkeit:
Öffentlich

MIME-Typ / Prüfsumme:
application/pdf / [MD5]

Technische Metadaten:

Öffnen

Copyright Datum:
-

Copyright Info:
Open Access © 2020 Copyright held by the owner/author(s). ACM ISBN 978-1-4503-7104-9/20/07

Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:

ausblenden:

Urheber:
Bojańczyk, Mikołaj¹, Autor
Kelmendi, Edon¹, Autor
Stefański, Rafał¹, Autor
Zetzsche, Georg², Autor

Affiliations:
1External Organizations, ou_persistent22
2Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society, ou_3031905