default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th AFL 2023: Eger, Hungary
- Zsolt Gazdag, Szabolcs Iván, Gergely Kovásznai:
Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023. EPTCS 386, 2023 - Galina Jirásková:
Operations on Boolean and Alternating Finite Automata. 3-10 - Victor Mitrana
, Mihaela Paun:
On the Degree of Extension of Some Models Defining Non-Regular Languages. 12-24 - Elena Barcucci, Antonio Bernini, Stefano Bilotta, Renzo Pinzani:
A Construction for Variable Dimension Strong Non-Overlapping Matrices. 25-34 - Jason P. Bell, Daniel Smertnig, Hellis Tamm:
Duality of lattices associated to left and right quotients. 35-50 - Miroslav Ciric, Ivana Micic, Stefan Stanimirovic, Linh Anh Nguyen:
Approximate State Reduction of Fuzzy Finite Automata. 51-66 - Nada Damljanovic, Miroslav Ciric, Jelena Ignjatovic:
Weighted Automata over Vector Spaces. 67-81 - Szilárd Zsolt Fazekas, Shinnosuke Seki:
Freezing 1-Tag Systems with States. 82-95 - Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman:
When Stars Control a Grammar's Work. 96-111 - Nataliya Gribovskaya, Irina B. Virbitskaite:
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures. 112-126 - Markus Holzer, Christian Rauch:
On Minimal Pumping Constants for Regular Languages. 127-141 - Martin Kutrib, Andreas Malcher:
Reversible Two-Party Computations. 142-154 - Andreas Maletti, Nils Oskar Nuernbergk:
Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings. 155-169 - Benedek Nagy:
State-deterministic Finite Automata with Translucent Letters and Finite Automata with Nondeterministically Translucent Letters. 170-184 - Yoshiki Nakamura, Ryoma Sin'ya:
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements. 185-199 - Andreea-Teodora Nász:
Solving the Weighted HOM-Problem With the Help of Unambiguity. 200-214 - Giovanni Pighizzini, Luca Prigioniero:
Once-Marking and Always-Marking 1-Limited Automata. 215-227 - Jeffrey O. Shallit, Sonja Linghui Shan:
A General Approach to Proving Properties of Fibonacci Representations via Automata Theory. 228-242 - Nicholas Tran:
Separating Words from Every Start State with Horner Automata. 243-252 - Bianca Truthe:
Strictly Locally Testable and Resources Restricted Control Languages in Tree-Controlled Grammars. 253-268 - Mansur Ziiatdinov, Aliya Khadieva, Abuzer Yakaryilmaz:
GAPs for Shallow Implementation of Quantum Finite Automata. 269-280
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.
last updated on 2024-12-22 19:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
