![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
27th CIAA 2023: Famagusta, North Cyprus
- Benedek Nagy
:
Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings. Lecture Notes in Computer Science 14151, Springer 2023, ISBN 978-3-031-40246-3
Invited Talks
- Viliam Geffert:
Binary Coded Unary Regular Languages. 3-20 - Friedrich Otto:
A Survey on Automata with Translucent Letters. 21-50
Contributed Papers
- Antonio Al Serhali, Joachim Niehren:
Earliest Query Answering for Deterministic Stepwise Hedge Automata. 53-65 - Samira Attou, Ludovic Mignot, Clément Miklarz, Florent Nicart:
Constrained Multi-Tildes. 66-78 - Václav Blazej
, Jan Janousek
, Stepán Plachý:
On the Smallest Synchronizing Terms of Finite Tree Automata. 79-90 - Bernard Boigelot
, Pascal Fontaine
, Baptiste Vergain
:
Universal First-Order Quantification over Automata. 91-102 - Sabine Broda
, António Machiavelo
, Nelma Moreira
, Rogério Reis
:
Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions. 103-115 - Szilárd Zsolt Fazekas
, Robert Mercas
:
Sweep Complexity Revisited. 116-127 - Hermann Gruber
, Markus Holzer, Christian Rauch:
The Pumping Lemma for Regular Languages is Hard. 128-140 - Joonghyuk Hahn, Hyunjoon Cheon, Yo-Sub Han:
M-equivalence of Parikh Matrix over a Ternary Alphabet. 141-152 - Michal Hospodár
, Galina Jirásková
:
Operational Complexity in Subregular Classes. 153-165 - Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki:
When Is Context-Freeness Distinguishable from Regularity? an Extension of Parikh's Theorem. 166-178 - Shmuel T. Klein
, Dana Shapira
:
Enhanced Ternary Fibonacci Codes. 179-193 - Martin Kutrib
:
Sweeping Input-Driven Pushdown Automata. 194-205 - Kevin Lotz
, Mitja Kulczynski
, Dirk Nowotka, Danny Bøgsted Poulsen
, Anders Schlichtkrull
:
Verified Verifying: SMT-LIB for Strings in Isabelle. 206-217 - Andreas Maletti, Andreea-Teodora Nász:
Weighted Bottom-Up and Top-Down Tree Transformations Are Incomparable. 218-229 - Sebastian Maneth, Martin Vu:
Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer. 230-241 - Olga Martynova
, Alexander Okhotin
:
A Time to Cast Away Stones. 242-253 - Giovanni Pighizzini
, Luca Prigioniero
:
Two-Way Machines and de Bruijn Words. 254-265 - Jeffrey O. Shallit
, Anatoly Zavyalov:
Transduction of Automatic Sequences and Applications. 266-277 - Ryoma Sin'ya:
Measuring Power of Generalised Definite Languages. 278-289 - Sicheol Sung, Sang-Ki Ko, Yo-Sub Han:
Smaller Representation of Compiled Regular Expressions. 290-301
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.