Imagen de Portada

Forgetting Event Order in Higher-Dimensional Automata

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Zouari, Safa
Formato:	Preprint
Publicado:	2026
Materias:	Formal Languages and Automata Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Bisimulations and Logics for Higher-Dimensional Automata
por: Zouari, Safa, et al.
Publicado: (2024)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
por: Bellier, Dylan, et al.
Publicado: (2026)

Higher-Dimensional Automata : Extension to Infinite Tracks
por: Passemard, Luc, et al.
Publicado: (2025)

Closure and Decision Properties for Higher-Dimensional Automata
por: Amrane, Amazigh, et al.
Publicado: (2023)

Myhill-Nerode Theorem for Higher-Dimensional Automata
por: Fahrenberg, Uli, et al.
Publicado: (2022)

Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
por: Amrane, Amazigh, et al.
Publicado: (2025)

Kamp Theorem for Pomset Languages of Higher Dimensional Automata
por: Clement, Emily, et al.
Publicado: (2024)

Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata
por: Erlich, Enzo, et al.
Publicado: (2026)

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

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

Kleene Theorem for Higher-Dimensional Automata
por: Fahrenberg, Uli, et al.
Publicado: (2022)

Greybox Learning of Languages Recognizable by Event-Recording Automata
por: Majumdar, Anirban, et al.
Publicado: (2024)

Variants of Higher-Dimensional Automata
por: Bazille, Hugo, et al.
Publicado: (2026)

Logic and Languages of Higher-Dimensional Automata
por: Amrane, Amazigh, et al.
Publicado: (2024)

Mathematical Approach in Automata and Automata Association
por: Maciel, Sergio Henrique
Publicado: (2020)

Higher-Dimensional Timed Automata for Real-Time Concurrency
por: Amrane, Amazigh, et al.
Publicado: (2024)

Automata on Graph Alphabets
por: Bazille, Hugo, et al.
Publicado: (2026)

On Shuffling and Splitting Automata
por: Cunningham, Ignacio Mollo
Publicado: (2024)

Explorable Parity Automata
por: Hazard, Emile, et al.
Publicado: (2024)

Quantitative Language Automata
por: Henzinger, Thomas A., et al.
Publicado: (2025)

Asynchronism in Cellular Automata
por: Gautam, Virendra Kumar
Publicado: (2025)

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

Localising Stochasticity in Weighted Automata
por: Agarwal, Smayan, et al.
Publicado: (2026)

Nominal Automata with Name Deallocation
por: Prucker, Simon, et al.
Publicado: (2026)

History-deterministic Parikh Automata
por: Erlich, Enzo, et al.
Publicado: (2022)

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

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

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

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

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

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

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

QuAK: Quantitative Automata Kit
por: Chalupa, Marek, et al.
Publicado: (2024)

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

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

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

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

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

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

Query Learning of Advice and Nominal Automata
por: Zhou, Kevin
Publicado: (2024)