Buchumschlag

Rewriting Structured Cospans

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Cicala, Daniel
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Category Theory Formal Languages and Automata Theory Social and Information Networks 18B10
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Combinatorial manifolds and Kleene's theorem, homotopically
von: Chamoun, Yorgo
Veröffentlicht: (2026)

Completeness for categories of generalized automata
von: Boccali, Guido, et al.
Veröffentlicht: (2023)

Automata and coalgebras in categories of species
von: Loregian, Fosco
Veröffentlicht: (2024)

Monads and limits in bicategories of circuits
von: Loregian, Fosco
Veröffentlicht: (2025)

Context-Free Languages of String Diagrams
von: Earnshaw, Matt, et al.
Veröffentlicht: (2024)

Topoi of automata I: Four topoi of automata and regular languages
von: Hora, Ryuya
Veröffentlicht: (2024)

Time complexity for deterministic string machines
von: Cataltepe, Ali, et al.
Veröffentlicht: (2024)

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

Fibrational Perspectives on Determinization of Finite-State Automata
von: Li, Thea
Veröffentlicht: (2024)

Categorical Foundations of Formalized Condensed Mathematics
von: Asgeirsson, Dagur, et al.
Veröffentlicht: (2024)

A formal characterization of discrete condensed objects
von: Asgeirsson, Dagur
Veröffentlicht: (2024)

Profinite trees, through Lawvere theories and the lambda-calculus
von: Moreau, Vincent
Veröffentlicht: (2024)

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

A categorical framework for cellular automata
von: Castillo-Ramirez, A., et al.
Veröffentlicht: (2026)

Presheaf automata
von: Struth, Georg, et al.
Veröffentlicht: (2024)

Rauzy dimension and finite-state dimension
von: Becher, Verónica, et al.
Veröffentlicht: (2024)

Multihead Finite-State Compression
von: Lutz, Neil
Veröffentlicht: (2025)

The Agafonov and Schnorr-Stimm theorems for probabilistic automata
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2025)

Rewriting Systems on Arbitrary Monoids
von: Magalhães, Eduardo
Veröffentlicht: (2026)

Polygraphic resolutions for operated algebras
von: Liu, Zuan, et al.
Veröffentlicht: (2025)

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

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

Structural Reductions and Stutter Sensitive Properties
von: Paviot-Adet, Emmanuel, et al.
Veröffentlicht: (2022)

Structural Abstraction and Refinement for Probabilistic Programs
von: Li, Guanyan, et al.
Veröffentlicht: (2025)

Iterating Non-Aggregative Structure Compositions
von: Bozga, Marius, et al.
Veröffentlicht: (2025)

Counting Abstraction for the Verification of Structured Parameterized Networks
von: Bozga, Marius, et al.
Veröffentlicht: (2025)

Do CFLOBDDs Actually Make Use of Linear Structure?
von: Sistla, Meghana Aparna, et al.
Veröffentlicht: (2026)

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

A Characterization of Turing Machines that Compute Primitive Recursive Functions
von: Schwartz, Daniel G.
Veröffentlicht: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
von: Mazowiecki, Filip, et al.
Veröffentlicht: (2025)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
von: Hausmann, Daniel, et al.
Veröffentlicht: (2024)

Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
von: Stan, Daniel, et al.
Veröffentlicht: (2026)

Multi-Head Finite-State Dimension
von: Huang, Xiang, et al.
Veröffentlicht: (2025)

One Adaptive Trailing Head Can Outperform Many Oblivious Trailing Heads
von: Cruz, Julianne, et al.
Veröffentlicht: (2026)

Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners
von: Schmid, Markus L., et al.
Veröffentlicht: (2020)

A Diamond Structure in the Transducer Hierarchy
von: Kaufmann, Noah
Veröffentlicht: (2021)

Visibly Pushdown Languages in Groups
von: Ciobanu, Laura, et al.
Veröffentlicht: (2026)

Cost Automata, Safe Schemes, and Downward Closures
von: Barozzini, David, et al.
Veröffentlicht: (2020)

Mathematical Approach in Automata and Automata Association
von: Maciel, Sergio Henrique
Veröffentlicht: (2020)

WEX: Formal Specifications for Windows in Stream Processing
von: Hitarth, S, et al.
Veröffentlicht: (2022)