Imagen de Portada

Generalised Möbius Categories and Convolution Kleene Algebras

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Cranch, James, Struth, Georg, Wagemaker, Jana
Formato:	Preprint
Publicado:	2025
Materias:	Formal Languages and Automata Theory Logic in Computer Science 06F, 16Y60, 18A05, 18N30, 68Q60, 68Q70
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
por: Alpay, Faruk, et al.
Publicado: (2026)

Presheaf automata
por: Struth, Georg, et al.
Publicado: (2024)

The hereditariness problem for the Černý conjecture
por: Rodaro, Emanuele, et al.
Publicado: (2025)

Interacting Monoidal Structures with Applications in Computing
por: Cranch, James, et al.
Publicado: (2024)

Probabilistic automatic complexity of finite strings
por: Gill, Kenneth
Publicado: (2024)

Higher Catoids, Higher Quantales and their Correspondences
por: Calk, Cameron, et al.
Publicado: (2023)

Semidirect Product Decompositions for Periodic Regular Languages
por: Inoue, Yusuke, et al.
Publicado: (2024)

Implicit automata in λ-calculi III: affine planar string-to-string functions
por: Pradic, Cécilia, et al.
Publicado: (2024)

Ternary Idempotent $Γ$-Semirings, Non-Reducibility, and Higher-Order Path Algebras
por: Gokavarapu, Chandrasekhar, et al.
Publicado: (2026)

Flavors of Quantifiers in Hyperlogics
por: Chalupa, Marek, et al.
Publicado: (2025)

On A. V. Anisimov's problem for finding a polynomial algorithm checking inclusion of context-free languages in group languages
por: Yordzhev, Krasimir
Publicado: (2026)

Topoi of automata I: Four topoi of automata and regular languages
por: Hora, Ryuya
Publicado: (2024)

A Unary-to-Nonunary Transition in the Accepting-State Spectrum of Right Quotient for Permutation Automata
por: German, Samuel
Publicado: (2026)

A Complete Fragment of LTL(EB)
por: Ferrarotti, Flavio, et al.
Publicado: (2024)

An Internal Logic of Virtual Double Categories
por: Nasu, Hayato
Publicado: (2024)

Day algebras
por: Robinson, Edmund, et al.
Publicado: (2025)

Languages of Words of Low Automatic Complexity Are Hard to Compute
por: Chen, Joey, et al.
Publicado: (2025)

Languages given by Finite Automata over the Unary Alphabet
por: Czerwiński, Wojciech, et al.
Publicado: (2023)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
por: Malbos, Philippe, et al.
Publicado: (2024)

Weighted Automata and Logics Meet Computational Complexity
por: Kostolányi, Peter
Publicado: (2023)

Polygraphic resolutions for operated algebras
por: Liu, Zuan, et al.
Publicado: (2025)

Cubical coherent confluence, $ω$-groupoids and the cube equation
por: Malbos, Philippe, et al.
Publicado: (2025)

Formal Foundations for Controlled Stochastic Activity Networks
por: Movaghar, Ali
Publicado: (2025)

Contract-based Verification of Digital Twins
por: Naeem, Muhammad, et al.
Publicado: (2025)

Density of rational languages under shift invariant measures
por: Berthé, Valérie, et al.
Publicado: (2025)

Weighing Obese Timed Languages
por: Asarin, Eugene, et al.
Publicado: (2025)

Computing the Bandwidth of Meager Timed Automata
por: Asarin, Eugene, et al.
Publicado: (2024)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
por: Adsul, Bharat, et al.
Publicado: (2024)

Compositionality of Lyapunov functions via assume-guarantee reasoning
por: Capucci, Matteo, et al.
Publicado: (2026)

Bandwidth of Nondeterministic Finite Automata
por: Cho, Da-Jung, et al.
Publicado: (2026)

Introducing q-deformed binomial coefficients of words
por: Renard, Antoine, et al.
Publicado: (2024)

The Algebra of Nondeterministic Finite Automata
por: Gorrieri, Roberto
Publicado: (2023)

On Quantum Context-Free Grammars
por: Aruja, Merina, et al.
Publicado: (2025)

On the Equivalence Checking Problem for Deterministic Top-Down Tree Automata
por: Deng, Zhibo, et al.
Publicado: (2025)

Universal property of the Bousfield--Kuhn functor
por: Shi, Yuqing
Publicado: (2024)

Model-checking real-time systems: revisiting the alternating automaton route
por: Bouyer, Patricia, et al.
Publicado: (2025)

Resolution of The Linear-Bounded Automata Question
por: Lin, Tianrong
Publicado: (2021)

Diagonalization of Polynomial-Time Deterministic Turing Machines via Nondeterministic Turing Machines
por: Lin, Tianrong
Publicado: (2021)

A hierarchy of reversible finite automata
por: Radionova, Maria, et al.
Publicado: (2024)

On Computational Completeness of Semi-Conditional Matrix Grammars
por: Fernau, Henning, et al.
Publicado: (2024)