Buchumschlag

Weighted basic parallel processes and combinatorial enumeration

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Clemente, Lorenzo
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Formal Languages and Automata Theory Computational Complexity Discrete Mathematics Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The commutativity problem for effective varieties of formal series, and applications
von: Clemente, Lorenzo
Veröffentlicht: (2025)

CMSO-transducing tree-like graph decompositions
von: Campbell, Rutger, et al.
Veröffentlicht: (2024)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
von: Carette, Titouan, et al.
Veröffentlicht: (2025)

A Framework for Universality in Physics, Computer Science, and Beyond
von: Gonda, Tomáš, et al.
Veröffentlicht: (2023)

Generalized Hofstadter functions $G, H$ and beyond: numeration systems and discrepancy
von: Letouzey, Pierre
Veröffentlicht: (2025)

Non-commutative linear logic fragments with sub-context-free complexity
von: Nishimiya, Yusaku, et al.
Veröffentlicht: (2025)

Stochastic Process Turing Machines
von: Wolpert, David, et al.
Veröffentlicht: (2024)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
von: Achilleos, Antonis, et al.
Veröffentlicht: (2024)

Nets-within-Nets through the Lens of Data Nets
von: Di Cosmo, Francesco, et al.
Veröffentlicht: (2025)

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
von: Göller, Stefan, et al.
Veröffentlicht: (2023)

On Higher Order Busy Beaver Function
von: Cao, Zining
Veröffentlicht: (2025)

A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
von: Shakiba, Yousef, et al.
Veröffentlicht: (2025)

Reachability in Geometrically $d$-Dimensional VASS
von: Fu, Yuxi, et al.
Veröffentlicht: (2025)

The Complexity of Nested Reset Counter Systems
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2026)

Beatty Sequences for a Quadratic Irrational: Decidability and Applications
von: Schaeffer, Luke, et al.
Veröffentlicht: (2024)

Counting and Sampling Traces in Regular Languages
von: de Colnet, Alexis, et al.
Veröffentlicht: (2025)

Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation
von: Halftermeyer, Pierre
Veröffentlicht: (2026)

Algorithmic analysis of systems with affine input and polynomial state
von: Clemente, Lorenzo
Veröffentlicht: (2025)

From Width-Based Model Checking to Width-Based Automated Theorem Proving
von: Oliveira, Mateus de Oliveira, et al.
Veröffentlicht: (2022)

A positional $\mathbfΠ^0_3$-complete objective
von: Casares, Antonio, et al.
Veröffentlicht: (2024)

Determinization of Min-Plus Weighted Automata is Decidable
von: Almagor, Shaull, et al.
Veröffentlicht: (2025)

Feasability of Learning Weighted Automata on a Semiring
von: Daviaud, Laure, et al.
Veröffentlicht: (2023)

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
von: Jecker, Ismaël, et al.
Veröffentlicht: (2023)

A New Notion of Regularity: Finite State Automata Accepting Graphs
von: Meeres, Yvo Ad
Veröffentlicht: (2024)

Counting Polyominoes in a Rectangle b x h
von: Marin, Louis
Veröffentlicht: (2024)

Differential Tree Automata
von: Manssour, Rida Ait El, et al.
Veröffentlicht: (2024)

Self-descriptive Sequences directed by two Periodic Sequences
von: Akiyama, Shigeki, et al.
Veröffentlicht: (2024)

Modular Decomposition of Hierarchical Finite State Machines
von: Biggar, Oliver, et al.
Veröffentlicht: (2021)

Decidability and Characterization of Expansivity for Group Cellular Automata
von: Castronuovo, Niccolo', 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)

A Divide and Conquer Algorithm for Deciding Group Cellular Automata Dynamics
von: Castronuovo, Niccolo', et al.
Veröffentlicht: (2025)

Persistent Permutability in Choice Petri Nets
von: Best, Eike, et al.
Veröffentlicht: (2026)

From geometry to generating functions: rectangulations and permutations
von: Asinowski, Andrei, et al.
Veröffentlicht: (2024)

Constant-delay enumeration for SLP-compressed documents
von: Muñoz, Martín, et al.
Veröffentlicht: (2022)

An Invitation to Universality in Physics, Computer Science, and Beyond
von: Gonda, Tomáš, et al.
Veröffentlicht: (2024)

Weighted GKAT: Completeness and Complexity
von: Van Koevering, Spencer, et al.
Veröffentlicht: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
von: Rooduijn, Jan, et al.
Veröffentlicht: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Function spaces for orbit-finite sets
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
von: Haase, Christoph, et al.
Veröffentlicht: (2024)