Imagen de Portada

Eilenberg theorems for many-sorted formations

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Vidal, Juan Climent, Llópez, Enric Cosme
Formato:	Preprint
Publicado:	2016
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

Congruence based proofs of the recognizability theorems for free many-sorted algebras
por: Vidal, Juan Climent, et al.
Publicado: (2018)

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

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms
por: Vidal, Juan Climent, et al.
Publicado: (2024)

Conway's cosmological theorem and automata theory
por: Lairez, Pierre, et al.
Publicado: (2024)

Combinatorial manifolds and Kleene's theorem, homotopically
por: Chamoun, Yorgo
Publicado: (2026)

The Agafonov and Schnorr-Stimm theorems for probabilistic automata
por: Bienvenu, Laurent, et al.
Publicado: (2025)

Subword enumeration up to stack-sorting equivalence
por: Campbell, John M., et al.
Publicado: (2026)

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

WEX: Formal Specifications for Windows in Stream Processing
por: Hitarth, S, et al.
Publicado: (2022)

The Expansion Problem for Infinite Trees
por: Blumensath, Achim
Publicado: (2023)

A General Information Extraction Framework Based on Formal Languages
por: Schmid, Markus L.
Publicado: (2025)

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

Statistical process discovery
por: Cry, Pierre, et al.
Publicado: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
por: Jeppson, Joshua, et al.
Publicado: (2025)

Hyper pattern matching
por: Waga, Masaki, et al.
Publicado: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
por: Kutrib, Martin, et al.
Publicado: (2025)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
por: Akshay, S., et al.
Publicado: (2024)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
por: Kan, Shuanglong, et al.
Publicado: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
por: Fujinami, Hiroya, et al.
Publicado: (2025)

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

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
por: Lehaut, Mathieu, et al.
Publicado: (2026)

One-clock synthesis problems
por: Lasota, Sławomir, et al.
Publicado: (2026)

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

Infinite-state Games with Energy Objectives Beyond Counters
por: Sağlam, Irmak, et al.
Publicado: (2026)

Nondeterministic state complexity of square root
por: Onishchenko, Sergey
Publicado: (2026)

Forgetting Event Order in Higher-Dimensional Automata
por: Zouari, Safa
Publicado: (2026)

Resynchronized Uniformization and Definability Problems for Rational Relations
por: Löding, Christof, et al.
Publicado: (2021)

Correctness Notions for Petri Nets with Identifiers
por: van der Werf, Jan Martijn E. M., et al.
Publicado: (2022)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
por: Chen, Zeyu, et al.
Publicado: (2026)

A Formal Approach for Tuning Stochastic Oscillators
por: Ballarini, Paolo, et al.
Publicado: (2024)

A Tree Sampler for Bounded Context-Free Languages
por: Considine, Breandan
Publicado: (2024)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
por: Hausmann, Daniel, et al.
Publicado: (2024)

Structural Reductions and Stutter Sensitive Properties
por: Paviot-Adet, Emmanuel, et al.
Publicado: (2022)

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
por: Kim, Moon, et al.
Publicado: (2025)

Castor Ministerialis
por: Hercher, Christian
Publicado: (2025)

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets
por: Memmi, Gerard
Publicado: (2025)

Unambiguisability and Register Minimisation of Min-Plus Models
por: Almagor, Shaull, et al.
Publicado: (2025)

Exact Accepting-State Spectrum for Reversal of Permutation Automata
por: German, Samuel
Publicado: (2026)

Temporal Causal Models as a Model of Computation
por: Gladyshev, Maksim, et al.
Publicado: (2026)

The Similarity Control Problem with Required Events
por: Wang, Yu, et al.
Publicado: (2026)