Buchumschlag

Commutative N-polyregular functions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lopez, Aliaume
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science 11T06, 68Q45, 68Q70 F.1.1; F.4.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
von: Lopez, Aliaume
Veröffentlicht: (2024)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
von: Adsul, Bharat, et al.
Veröffentlicht: (2024)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
von: Lopez, Aliaume
Veröffentlicht: (2024)

Axiomatizing NFAs Generated by Regular Grammars
von: Gorrieri, Roberto
Veröffentlicht: (2024)

The Algebra of Nondeterministic Finite Automata
von: Gorrieri, Roberto
Veröffentlicht: (2023)

Computing the Bandwidth of Meager Timed Automata
von: Asarin, Eugene, et al.
Veröffentlicht: (2024)

Weighing Obese Timed Languages
von: Asarin, Eugene, et al.
Veröffentlicht: (2025)

On Transition Constructions for Automata -- A Categorical Perspective
von: Cruchten, Mike
Veröffentlicht: (2024)

Kleene Theorems for Lasso Languages and $ω$-Languages
von: Cruchten, Mike
Veröffentlicht: (2024)

Polynomial Complementation of Nondeterministic 2-Way Finite Automata by 1-Limited Automata
von: Guillon, Bruno, et al.
Veröffentlicht: (2025)

Input-Erasing Two-Way Finite Automata
von: Meduna, Alexander, et al.
Veröffentlicht: (2025)

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

Recursive windows for grammar logics of bounded density
von: Gasquet, Olivier
Veröffentlicht: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

A Logic For Fresh Labelled Transition Systems
von: Bandukara, Mohamed H, et al.
Veröffentlicht: (2025)

Decidability of membership problems for flat rational subsets of $\mathrm{GL}(2,\mathbb{Q})$ and singular matrices
von: Diekert, Volker, et al.
Veröffentlicht: (2019)

Bishop's (up)crossing inequality and lower semicomputable random reals revisited
von: Andreev, Mikhail, et al.
Veröffentlicht: (2025)

Graded Monads in the Semantics of Nominal Automata
von: Schulze, Hannes, et al.
Veröffentlicht: (2025)

Reversible computations are computations
von: Aubert, Clément, et al.
Veröffentlicht: (2025)

Learning Closed Signal Flow Graphs
von: Piotrovskaya, Ekaterina, et al.
Veröffentlicht: (2024)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
von: Bruse, Florian, et al.
Veröffentlicht: (2026)

On the existence of strong proof complexity generators
von: Krajicek, Jan
Veröffentlicht: (2022)

Determination of the fifth Busy Beaver value
von: The bbchallenge Collaboration, et al.
Veröffentlicht: (2025)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
von: Schewe, Klaus-Dieter
Veröffentlicht: (2020)

Regular Model Checking for Systems with Effectively Regular Reachability Relation
von: Esparza, Javier, et al.
Veröffentlicht: (2025)

Decidable Reversible Equivalences for Finite Petri Nets
von: Gorrieri, Roberto, et al.
Veröffentlicht: (2025)

Probabilistic Nets-within-Nets
von: Köhler-Bußmeier, Michael
Veröffentlicht: (2024)

A "Symbolic" Representation of Object-Nets (Extended Version)
von: Köhler-Bussmeier, Michael, et al.
Veröffentlicht: (2024)

Place Bisimilarity is Decidable, Indeed!
von: Gorrieri, Roberto
Veröffentlicht: (2021)

On Equivalent Characterizations of NP in Abstract Models of Computation
von: Kirn, Jeremy C., et al.
Veröffentlicht: (2025)

Languages of Words of Low Automatic Complexity Are Hard to Compute
von: Chen, Joey, et al.
Veröffentlicht: (2025)

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
von: Li, Zihao, et al.
Veröffentlicht: (2026)

On Graph Grammars and Games
von: Vijayakumar, Jayakrishna, et al.
Veröffentlicht: (2024)

A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages
von: Cho, Da-Jung, et al.
Veröffentlicht: (2025)

Monitoring Hyperproperties over Observed and Constructed Traces
von: Chalupa, Marek, et al.
Veröffentlicht: (2025)

Solutions of Word Equations over Partially Commutative Structures
von: Diekert, Volker, et al.
Veröffentlicht: (2016)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)

Simulating and model checking membrane systems using strategies in Maude
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Well-Quasi-Orderings on Word Languages
von: Lhote, Nathan, et al.
Veröffentlicht: (2025)

The Maude strategy language
von: Eker, Steven, et al.
Veröffentlicht: (2024)