:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Erlich, Enzo, Ledent, Jérémy, Ziemiański, Krzysztof
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	https://arxiv.org/abs/2605.25253
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Kamp Theorem for Pomset Languages of Higher Dimensional Automata
von: Clement, Emily, et al.
Veröffentlicht: (2024)

Myhill-Nerode Theorem for Higher-Dimensional Automata
von: Fahrenberg, Uli, et al.
Veröffentlicht: (2022)

Closure and Decision Properties for Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2023)

Variants of Higher-Dimensional Automata
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

Bisimulations and Logics for Higher-Dimensional Automata
von: Zouari, Safa, et al.
Veröffentlicht: (2024)

Kleene Theorem for Higher-Dimensional Automata
von: Fahrenberg, Uli, et al.
Veröffentlicht: (2022)

Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2025)

History-deterministic Parikh Automata
von: Erlich, Enzo, et al.
Veröffentlicht: (2022)

Algebraic Characterizations of Classes of Regular Languages in DynFO
von: Barloy, Corentin, et al.
Veröffentlicht: (2026)

Forgetting Event Order in Higher-Dimensional Automata
von: Zouari, Safa
Veröffentlicht: (2026)

Higher-Dimensional Automata : Extension to Infinite Tracks
von: Passemard, Luc, et al.
Veröffentlicht: (2025)

Presenting Interval Pomsets with Interfaces
von: Amrane, Amazigh, et al.
Veröffentlicht: (2024)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
von: Bellier, Dylan, et al.
Veröffentlicht: (2026)

Logic and Languages of Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2024)

Quantitative Language Automata
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Algebraic Characterization of Reversible First Degree Cellular Automata over $\mathbb{Z}_d$
von: J., Baby C., et al.
Veröffentlicht: (2026)

Higher-Dimensional Timed Automata for Real-Time Concurrency
von: Amrane, Amazigh, et al.
Veröffentlicht: (2024)

Mathematical Approach in Automata and Automata Association
von: Maciel, Sergio Henrique
Veröffentlicht: (2020)

Greybox Learning of Languages Recognizable by Event-Recording Automata
von: Majumdar, Anirban, et al.
Veröffentlicht: (2024)

Automata on Graph Alphabets
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

On Shuffling and Splitting Automata
von: Cunningham, Ignacio Mollo
Veröffentlicht: (2024)

Explorable Parity Automata
von: Hazard, Emile, et al.
Veröffentlicht: (2024)

Asynchronism in Cellular Automata
von: Gautam, Virendra Kumar
Veröffentlicht: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
von: Mazowiecki, Filip, et al.
Veröffentlicht: (2025)

Localising Stochasticity in Weighted Automata
von: Agarwal, Smayan, et al.
Veröffentlicht: (2026)

Nominal Automata with Name Deallocation
von: Prucker, Simon, et al.
Veröffentlicht: (2026)

Saturation Problems for Families of Automata
von: Bohn, León, et al.
Veröffentlicht: (2025)

Determinism in Multi-Soliton Automata
von: Bordihn, Henning, et al.
Veröffentlicht: (2024)

Simulations for Event-Clock Automata
von: Akshay, S, et al.
Veröffentlicht: (2022)

History-Deterministic Büchi Automata are Succinct
von: Casares, Antonio, et al.
Veröffentlicht: (2026)

Hyper-Minimization for Deterministic Register Automata
von: Li, Yong, et al.
Veröffentlicht: (2026)

Finite Automata for Efficient Graph Recognition
von: Drewes, Frank, et al.
Veröffentlicht: (2024)

Universality Frontier for Asynchronous Cellular Automata
von: Baburin, Ivan, et al.
Veröffentlicht: (2025)

Simulation Limitations of Affine Cellular Automata
von: Hudcová, Barbora, et al.
Veröffentlicht: (2023)

QuAK: Quantitative Automata Kit
von: Chalupa, Marek, et al.
Veröffentlicht: (2024)

Safety and Liveness of Quantitative Properties and Automata
von: Boker, Udi, et al.
Veröffentlicht: (2023)

Learning Event-recording Automata Passively
von: Majumdar, Anirban, et al.
Veröffentlicht: (2025)

Adding Reconfiguration to Zielonka's Asynchronous Automata
von: Lehaut, Mathieu, et al.
Veröffentlicht: (2023)

Classifying Words with 3-sort Automata
von: Jastrząb, Tomasz, et al.
Veröffentlicht: (2024)

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