default search action
25th DCFS 2023: Potsdam, Germany
- Henning Bordihn, Nicholas Q. Tran, György Vaszil:
Descriptional Complexity of Formal Systems - 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings. Lecture Notes in Computer Science 13918, Springer 2023, ISBN 978-3-031-34325-4 - Pascal Caron, Jean-Gabriel Luque, Bruno Patrou:
Operational State Complexity Revisited: The Contribution of Monsters and Modifiers. 1-20 - Marcella Anselmo, Giuseppa Castiglione, Manuela Flores, Dora Giammarresi, Maria Madonia, Sabrina Mantaci:
Hypercubes and Isometric Words Based on Swap and Mismatch Distance. 21-35 - Michael C. Chavrimootoo:
Defying Gravity and Gadget Numerosity: The Complexity of the Hanano Puzzle. 36-50 - Yo-Sub Han, Sungmin Kim, Sang-Ki Ko, Kai Salomaa:
Existential and Universal Width of Alternating Finite Automata. 51-64 - Markus Holzer, Christian Rauch:
On Jaffe's Pumping Lemma, Revisited. 65-78 - Michal Hospodár, Jozef Jirásek, Galina Jirásková, Juraj Sebej:
Operational Complexity: NFA-to-DFA Trade-Off. 79-93 - Maximilian Kotowsky, Jan Philipp Wächter:
The Word Problem for Finitary Automaton Groups. 94-108 - Neha Kuntewar, S. K. M. Anoop, Jayalal Sarma:
Separating Words Problem over Groups. 109-120 - Martin Kutrib, Andreas Malcher, Matthias Wendlandt:
Complexity of Exclusive Nondeterministic Finite Automata. 121-133 - Olga Martynova, Alexander Okhotin:
Shortest Accepted Strings for Two-Way Finite Automata: Approaching the 2n Lower Bound. 134-145 - Giovanni Pighizzini, Luca Prigioniero:
Pushdown and One-Counter Automata: Constant and Non-constant Memory Usage. 146-157 - Josef Rukavicka:
Construction of a Bi-infinite Power Free Word with a Given Factor and a Non-recurrent Letter. 158-168 - Bianca Truthe:
Merging Two Hierarchies of External Contextual Grammars with Subregular Selection. 169-180 - Jean Weight, Trienko L. Grobler, Lynette van Zijl, Carlyle Stewart:
A Tight Upper Bound on the Length of Maximal Bordered Box Repetition-Free Words. 181-196
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.