More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

16th AFL 2023: Eger, Hungary

> Home > Conferences and Workshops > AFL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-01126
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-01126
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02748
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02748
Galina Jirásková:
Operations on Boolean and Alternating Finite Automata. 3-10
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02749
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02749
Victor Mitrana, Mihaela Paun:
On the Degree of Extension of Some Models Defining Non-Regular Languages. 12-24
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-09365
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-09365
Elena Barcucci, Antonio Bernini, Stefano Bilotta, Renzo Pinzani:
A Construction for Variable Dimension Strong Non-Overlapping Matrices. 25-34
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-02491
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-02491
Jason P. Bell, Daniel Smertnig, Hellis Tamm:
Duality of lattices associated to left and right quotients. 35-50
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02750
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02750
Miroslav Ciric, Ivana Micic, Stefan Stanimirovic, Linh Anh Nguyen:
Approximate State Reduction of Fuzzy Finite Automata. 51-66
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02751
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02751
Nada Damljanovic, Miroslav Ciric, Jelena Ignjatovic:
Weighted Automata over Vector Spaces. 67-81
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02753
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02753
Szilárd Zsolt Fazekas, Shinnosuke Seki:
Freezing 1-Tag Systems with States. 82-95
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02755
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02755
Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman:
When Stars Control a Grammar's Work. 96-111
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02756
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02756
Nataliya Gribovskaya, Irina B. Virbitskaite:
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures. 112-126
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02757
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02757
Markus Holzer, Christian Rauch:
On Minimal Pumping Constants for Regular Languages. 127-141
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02747
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02747
Martin Kutrib, Andreas Malcher:
Reversible Two-Party Computations. 142-154
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02758
Andreas Maletti, Nils Oskar Nuernbergk:
Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings. 155-169
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02759
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02759
Benedek Nagy:
State-deterministic Finite Automata with Translucent Letters and Finite Automata with Nondeterministically Translucent Letters. 170-184
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02760
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02760
Yoshiki Nakamura, Ryoma Sin'ya:
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements. 185-199
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02761
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02761
Andreea-Teodora Nász:
Solving the Weighted HOM-Problem With the Help of Unambiguity. 200-214
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02763
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02763
Giovanni Pighizzini, Luca Prigioniero:
Once-Marking and Always-Marking 1-Limited Automata. 215-227
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02765
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02765
Jeffrey O. Shallit, Sonja Linghui Shan:
A General Approach to Proving Properties of Fibonacci Representations via Automata Theory. 228-242
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02766
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02766
Nicholas Tran:
Separating Words from Every Start State with Horner Automata. 243-252
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02768
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02768
Bianca Truthe:
Strictly Locally Testable and Resources Restricted Control Languages in Tree-Controlled Grammars. 253-268
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-12868
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-12868
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.