zweidimensionales bewegtes Bild
Extensions of ω-Regular Languages: Q/A Session C - Paper C5.C
- Standort
-
Hannover TIB
- Umfang
-
45MB, 00:25:08:18 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)
- Ereignis
-
Veröffentlichung
- (wer)
-
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
- (wann)
-
2020-01-01
- Beteiligte Personen und Organisationen
-
Bojańczyk, Mikołaj
Kelmendi, Edon
Stefański, Rafał
Zetzsche, Georg
- DOI
-
10.5446/49291
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Bojańczyk, Mikołaj
- Kelmendi, Edon
- Stefański, Rafał
- Zetzsche, Georg
- Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
Entstanden
- 2020-01-01
Ähnliche Objekte (12)
Extensions of the class of star free languages using regular prefix oracles
A Recipe for Quantum Graphical Languages: Q/A Session C - Paper C4.A
An Approach to Regular Separability in Vector Addition Systems: Q/A Session A - Paper A5.D
Primitive complete normal bases for regular extensions
On the structure of solution sets to regular word equations: Q/A Session E - Paper E4.E
Panel Session Day Two: Q&A
Temporal propositions as regular languages
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity: Q/A Session E - Paper E6.B
Hardness results for constant-free pattern languages and word equations: Q/A Session E - Paper E4.C
Nondeterministic Descriptional Complexity of Regular Languages
![Qa- [Qa-]](https://iiif.deutsche-digitale-bibliothek.de/image/2/ad9b8567-c447-46da-a7ba-53b4975e74ba/full/!306,450/0/default.jpg)
Qa- [Qa-]
A Kleene theorem for regular picture languages.
Extensions of the class of star free languages using regular prefix oracles
A Recipe for Quantum Graphical Languages: Q/A Session C - Paper C4.A
An Approach to Regular Separability in Vector Addition Systems: Q/A Session A - Paper A5.D
Primitive complete normal bases for regular extensions
On the structure of solution sets to regular word equations: Q/A Session E - Paper E4.E
Panel Session Day Two: Q&A
Temporal propositions as regular languages
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity: Q/A Session E - Paper E6.B
Hardness results for constant-free pattern languages and word equations: Q/A Session E - Paper E4.C
Nondeterministic Descriptional Complexity of Regular Languages
Qa- [Qa-]
A Kleene theorem for regular picture languages.
Extensions of the class of star free languages using regular prefix oracles
A Recipe for Quantum Graphical Languages: Q/A Session C - Paper C4.A
An Approach to Regular Separability in Vector Addition Systems: Q/A Session A - Paper A5.D
Primitive complete normal bases for regular extensions
On the structure of solution sets to regular word equations: Q/A Session E - Paper E4.E
Panel Session Day Two: Q&A
Temporal propositions as regular languages
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity: Q/A Session E - Paper E6.B
Hardness results for constant-free pattern languages and word equations: Q/A Session E - Paper E4.C
Nondeterministic Descriptional Complexity of Regular Languages
Qa- [Qa-]