Imagen de Portada

Rewriting Structured Cospans

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Cicala, Daniel
Formato:	Preprint
Publicado:	2020
Materias:	Category Theory Formal Languages and Automata Theory Social and Information Networks 18B10
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Completeness for categories of generalized automata
por: Boccali, Guido, et al.
Publicado: (2023)

Automata and coalgebras in categories of species
por: Loregian, Fosco
Publicado: (2024)

Monads and limits in bicategories of circuits
por: Loregian, Fosco
Publicado: (2025)

Context-Free Languages of String Diagrams
por: Earnshaw, Matt, et al.
Publicado: (2024)

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

Time complexity for deterministic string machines
por: Cataltepe, Ali, et al.
Publicado: (2024)

The categorical contours of the Chomsky-Schützenberger representation theorem
por: Melliès, Paul-André, et al.
Publicado: (2023)

Fibrational Perspectives on Determinization of Finite-State Automata
por: Li, Thea
Publicado: (2024)

Categorical Foundations of Formalized Condensed Mathematics
por: Asgeirsson, Dagur, et al.
Publicado: (2024)

A formal characterization of discrete condensed objects
por: Asgeirsson, Dagur
Publicado: (2024)

Profinite trees, through Lawvere theories and the lambda-calculus
por: Moreau, Vincent
Publicado: (2024)

A cartesian closed fibration of higher-order regular languages
por: Melliès, Paul-André, et al.
Publicado: (2026)

A categorical framework for cellular automata
por: Castillo-Ramirez, A., et al.
Publicado: (2026)

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

Rauzy dimension and finite-state dimension
por: Becher, Verónica, et al.
Publicado: (2024)

Multihead Finite-State Compression
por: Lutz, Neil
Publicado: (2025)

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

Rewriting Systems on Arbitrary Monoids
por: Magalhães, Eduardo
Publicado: (2026)

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

Topological Kleene Field Theories as a model of computation
por: González-Prieto, Ángel, et al.
Publicado: (2025)

Measuring Grammatical Diversity from Small Corpora: Derivational Entropy Rates, Mean Length of Utterances, and Annotation Invariance
por: Martin, Fermin Moscoso del Prado
Publicado: (2024)

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

Structural Abstraction and Refinement for Probabilistic Programs
por: Li, Guanyan, et al.
Publicado: (2025)

Iterating Non-Aggregative Structure Compositions
por: Bozga, Marius, et al.
Publicado: (2025)

Counting Abstraction for the Verification of Structured Parameterized Networks
por: Bozga, Marius, et al.
Publicado: (2025)

Do CFLOBDDs Actually Make Use of Linear Structure?
por: Sistla, Meghana Aparna, et al.
Publicado: (2026)

LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
por: Xu, Rongge, et al.
Publicado: (2025)

A Characterization of Turing Machines that Compute Primitive Recursive Functions
por: Schwartz, Daniel G.
Publicado: (2025)

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

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

Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
por: Stan, Daniel, et al.
Publicado: (2026)

Multi-Head Finite-State Dimension
por: Huang, Xiang, et al.
Publicado: (2025)

One Adaptive Trailing Head Can Outperform Many Oblivious Trailing Heads
por: Cruz, Julianne, et al.
Publicado: (2026)

Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners
por: Schmid, Markus L., et al.
Publicado: (2020)

A Diamond Structure in the Transducer Hierarchy
por: Kaufmann, Noah
Publicado: (2021)

Visibly Pushdown Languages in Groups
por: Ciobanu, Laura, et al.
Publicado: (2026)

Cost Automata, Safe Schemes, and Downward Closures
por: Barozzini, David, et al.
Publicado: (2020)

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

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