| 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 |
| 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 |
Tag hinzufügen