| On the Transformation of Two-Way Deterministic Finite Automata to Unambiguous Finite Automata
|
2021 |
Petrov, Semyon |
| Finite-Word Hyperlanguages
|
2021 |
Bonakdarpour, Borzoo |
| Deciding Non-emptiness of Hypergraph Languages Generated by Connection-preserving Fusion Grammars is NP-complete
|
2021 |
Lye, Aaron |
| Temporal Logics with Language Parameters
|
2021 |
Gutsfeld, Jens Oliver |
| Cadences in Grammar-Compressed Strings
|
2021 |
Pape-Lange, Julian |
| Context-Free Grammars with Lookahead
|
2021 |
Miyazaki, Takayuki |
| Sequentiality of Group-Weighted Tree Automata
|
2021 |
Dörband, Frederic |
| On Hardest Languages for One-Dimensional Cellular Automata
|
2021 |
Mrykhin, Mikhail |
| Succinct Representations for (Non)Deterministic Finite Automata
|
2021 |
Chakraborty, Sankardeep |
| Learning Mealy Machines with One Timer
|
2021 |
Vaandrager, Frits |
| Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding
|
2021 |
Crespi Reghizzi, Stefano |
| Approximated Determinisation of Weighted Tree Automata
|
2021 |
Dörband, Frederic |
| On Balanced Sequences and Their Asymptotic Critical Exponent
|
2021 |
Dolce, Francesco |
| Learnability and Positive Equivalence Relations
|
2021 |
Belanger, David |
| On Language Varieties Without Boolean Operations
|
2021 |
Birkmann, Fabian |
| On the Computational Power of Programs over $$mathsf {BA}_2$$Monoid
|
2021 |
Kulkarni, Manasi S. |
| An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs
|
2021 |
Sérée, Bastien |
| Optimising Attractor Computation in Boolean Automata Networks
|
2021 |
Perrot, Kévin |
| On the Power of Nondeterministic Circuits and Co-Nondeterministic Circuits
|
2021 |
Morizumi, Hiroki |
| Partially Directed Animals with a Bounded Number of Holes
|
2021 |
Dorigatti, Valentina |
Tag hinzufügen