DLT

Keyphrases

Publications

2024

Travis Gagie
How to Find Long Maximal Exact Matches and Ignore Short Ones. DLT (2024)
Jakub Ruszil
Careful Synchronization of One-Cluster Automata. DLT (2024)
Benedek Nagy, Friedrich Otto
Finite Automata with Sets of Translucent Words. DLT (2024)
Marco B. Caminati
is a Multiple Context-Free Grammar: An Implementation-, Formalisation-Friendly Proof. DLT (2024)
Ferdinando Cicalese, Francesca Ugazio
On the Complexity and Approximability of Bounded Access Lempel Ziv Coding. DLT (2024)
Martin Kutrib, Andreas Malcher
Cellular Automata: From Black-and-White to High Gloss Color. DLT (2024)
Oscar H. Ibarra, Ian McQuillan
Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors. DLT (2024)
Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
Verifying and Interpreting Neural Networks Using Finite Automata. DLT (2024)
Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
Semidirect Product Decompositions for Periodic Regular Languages. DLT (2024)
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
Logic and Languages of Higher-Dimensional Automata. DLT (2024)
Sungmin Kim, Yo-Sub Han
Approximate Cartesian Tree Pattern Matching. DLT (2024)
Philomena Moek
Network Topologies for Parallel Communicating Finite Automata: Token-Ring and Token-Bus. DLT (2024)
Ingyu Baek, Joonghyuk Hahn, Yo-Sub Han, Kai Salomaa
Universal Rewriting Rules for the Parikh Matrix Injectivity Problem. DLT (2024)
Sandra Kiefer
Polyregular Functions Characterisations and Refutations - Characterisations and Refutations. DLT (2024)
Hermann Gruber, Markus Holzer, Christian Rauch
The Pumping Lemma for Context-Free Languages is Undecidable. DLT (2024)
C. Aiswarya, Amaldev Manuel, Saina Sunny
Deciding Conjugacy of a Rational Relation - (Extended Abstract). DLT (2024)
Laura Ciobanu
Word Equations, Constraints, and Formal Languages. DLT (2024)
Yinfeng Zhu
Around Don's Conjecture for Binary Completely Reachable Automata. DLT (2024)
Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Priscilla Raucci, Matthias Wendlandt
Deterministic Pushdown Automata with Translucent Input Letters. DLT (2024)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Cyclic Operator Precedence Grammars for Improved Parallel Parsing. DLT (2024)

volume 14791, 2024

Developments in Language Theory - 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings DLT 14791 (2024)

2023

volume 13911, 2023

Developments in Language Theory - 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings DLT 13911 (2023)

volume 3460, 2023

Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), Bologna, Italy, May 25-26, 2023. DLT 3460 (2023)