DCFS

Keyphrases

Publications

2023

Giovanni Pighizzini, Luca Prigioniero
Pushdown and One-Counter Automata: Constant and Non-constant Memory Usage. DCFS (2023)
Michal Hospodár, Jozef Jirásek, Galina Jirásková, Juraj Sebej
Operational Complexity: NFA-to-DFA Trade-Off. DCFS (2023)
Josef Rukavicka
Construction of a Bi-infinite Power Free Word with a Given Factor and a Non-recurrent Letter. DCFS (2023)
Markus Holzer, Christian Rauch
On Jaffe's Pumping Lemma, Revisited. DCFS (2023)
Maximilian Kotowsky, Jan Philipp Wächter
The Word Problem for Finitary Automaton Groups. DCFS (2023)
Martin Kutrib, Andreas Malcher, Matthias Wendlandt
Complexity of Exclusive Nondeterministic Finite Automata. DCFS (2023)
Yo-Sub Han, Sungmin Kim, Sang-Ki Ko, Kai Salomaa
Existential and Universal Width of Alternating Finite Automata. DCFS (2023)
Neha Kuntewar, S. K. M. Anoop, Jayalal Sarma
Separating Words Problem over Groups. DCFS (2023)
Pascal Caron, Jean-Gabriel Luque, Bruno Patrou
Operational State Complexity Revisited: The Contribution of Monsters and Modifiers. DCFS (2023)
Marcella Anselmo, Giuseppa Castiglione, Manuela Flores, Dora Giammarresi, Maria Madonia, Sabrina Mantaci
Hypercubes and Isometric Words Based on Swap and Mismatch Distance. DCFS (2023)
Jean Weight, Trienko L. Grobler, Lynette van Zijl, Carlyle Stewart
A Tight Upper Bound on the Length of Maximal Bordered Box Repetition-Free Words. DCFS (2023)
Michael C. Chavrimootoo
Defying Gravity and Gadget Numerosity: The Complexity of the Hanano Puzzle. DCFS (2023)
Bianca Truthe
Merging Two Hierarchies of External Contextual Grammars with Subregular Selection. DCFS (2023)
Olga Martynova, Alexander Okhotin
Lower Bound. DCFS (2023)

volume 13918, 2023

Descriptional Complexity of Formal Systems - 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings DCFS 13918 (2023)

2022

volume 13439, 2022

Descriptional Complexity of Formal Systems - 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, Proceedings DCFS 13439 (2022)

2021

volume 13037, 2021

Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings DCFS 13037 (2021)

2020

Pierre Marcus, Ilkka Törmä
Descriptional Complexity of Winning Sets of Regular Languages. DCFS (2020)

volume 12442, 2020

Descriptional Complexity of Formal Systems - 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings DCFS 12442 (2020)