zweidimensionales bewegtes Bild
Extensions of ω-Regular Languages: Q/A Session C - Paper C5.C
- Location
-
Hannover TIB
- Extent
-
45MB, 00:25:08:18 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)
- Event
-
Veröffentlichung
- (who)
-
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
- (when)
-
2020-01-01
- Contributor
-
Bojańczyk, Mikołaj
Kelmendi, Edon
Stefański, Rafał
Zetzsche, Georg
- DOI
-
10.5446/49291
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Bojańczyk, Mikołaj
- Kelmendi, Edon
- Stefański, Rafał
- Zetzsche, Georg
- Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
Time of origin
- 2020-01-01
Other Objects (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-]