Copertina

Nominal Automata with Name Deallocation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Prucker, Simon, Milius, Stefan, Schröder, Lutz
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Nominal Tree Automata With Name Allocation
di: Prucker, Simon, et al.
Pubblicazione: (2024)

Alternating Nominal Automata with Name Allocation
di: Frank, Florian, et al.
Pubblicazione: (2024)

Query Learning of Advice and Nominal Automata
di: Zhou, Kevin
Pubblicazione: (2024)

Learning Automata with Name Allocation
di: Frank, Florian, et al.
Pubblicazione: (2025)

Extended Stone Duality via Monoidal Adjunctions
di: Lenke, Fabian, et al.
Pubblicazione: (2024)

Automata for the commutative closure of regular sets
di: Becher, Verónica, et al.
Pubblicazione: (2025)

Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
di: Kiefer, Stefan, et al.
Pubblicazione: (2019)

Mathematical Approach in Automata and Automata Association
di: Maciel, Sergio Henrique
Pubblicazione: (2020)

Scalable Tree-based Register Automata Learning
di: Dierl, Simon, et al.
Pubblicazione: (2024)

Automata on Graph Alphabets
di: Bazille, Hugo, et al.
Pubblicazione: (2026)

On Shuffling and Splitting Automata
di: Cunningham, Ignacio Mollo
Pubblicazione: (2024)

Explorable Parity Automata
di: Hazard, Emile, et al.
Pubblicazione: (2024)

Quantitative Language Automata
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

Asynchronism in Cellular Automata
di: Gautam, Virendra Kumar
Pubblicazione: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
di: Mazowiecki, Filip, et al.
Pubblicazione: (2025)

Localising Stochasticity in Weighted Automata
di: Agarwal, Smayan, et al.
Pubblicazione: (2026)

History-deterministic Parikh Automata
di: Erlich, Enzo, et al.
Pubblicazione: (2022)

Saturation Problems for Families of Automata
di: Bohn, León, et al.
Pubblicazione: (2025)

Determinism in Multi-Soliton Automata
di: Bordihn, Henning, et al.
Pubblicazione: (2024)

Simulations for Event-Clock Automata
di: Akshay, S, et al.
Pubblicazione: (2022)

History-Deterministic Büchi Automata are Succinct
di: Casares, Antonio, et al.
Pubblicazione: (2026)

Hyper-Minimization for Deterministic Register Automata
di: Li, Yong, et al.
Pubblicazione: (2026)

Finite Automata for Efficient Graph Recognition
di: Drewes, Frank, et al.
Pubblicazione: (2024)

Universality Frontier for Asynchronous Cellular Automata
di: Baburin, Ivan, et al.
Pubblicazione: (2025)

Simulation Limitations of Affine Cellular Automata
di: Hudcová, Barbora, et al.
Pubblicazione: (2023)

QuAK: Quantitative Automata Kit
di: Chalupa, Marek, et al.
Pubblicazione: (2024)

Safety and Liveness of Quantitative Properties and Automata
di: Boker, Udi, et al.
Pubblicazione: (2023)

Learning Event-recording Automata Passively
di: Majumdar, Anirban, et al.
Pubblicazione: (2025)

Adding Reconfiguration to Zielonka's Asynchronous Automata
di: Lehaut, Mathieu, et al.
Pubblicazione: (2023)

Classifying Words with 3-sort Automata
di: Jastrząb, Tomasz, et al.
Pubblicazione: (2024)

Corrections to A Menagerie of Timed Automata
di: Keiren, Jeroen J. A., et al.
Pubblicazione: (2016)

A Unifying Approach to Picture Automata
di: Meeres, Yvo Ad, et al.
Pubblicazione: (2025)

Active Learning of Symbolic Mealy Automata
di: Irie, Kengo, et al.
Pubblicazione: (2025)

Global One-Counter Tree Automata
di: Herrmann, Luisa, et al.
Pubblicazione: (2024)

Standard Automata Theory and Process Algebra
di: Yodaiken, Victor
Pubblicazione: (2022)

Non-Global Parikh Tree Automata
di: Herrmann, Luisa, et al.
Pubblicazione: (2024)

Repetitive Finite Automata With Translucent Letters
di: Mráz, František, et al.
Pubblicazione: (2024)

Completely Reachable Almost Group Automata
di: Torres, David Fernando Casas
Pubblicazione: (2024)

Forgetting Event Order in Higher-Dimensional Automata
di: Zouari, Safa
Pubblicazione: (2026)

Weighted Automata and Regular Expressions for Financial Systems
di: Droste, Manfred, et al.
Pubblicazione: (2026)