| 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 |
| Usefulness of Information and Unary Languages
|
2021 |
Pighizzini, Giovanni |
| Completely Reachable Automata, Primitive Groups and the State Complexity of the Set of Synchronizing Words
|
2021 |
Hoffmann, Stefan |
| Location Based Automata for Expressions with Shuffle
|
2021 |
Broda, Sabine |
| Tree-Like Unit Refutations in Horn Constraint Systems
|
2021 |
Subramani, K. |
| State Complexity of the Set of Synchronizing Words for Circular Automata and Automata over Binary Alphabets
|
2021 |
Hoffmann, Stefan |
| Commutative Rational Term Rewriting
|
2021 |
Ishizuka, Mamoru |
| 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 |
Tag hinzufügen