Skip to content
<title>Channels - Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
Search for more channels:
Similar Items: Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
Channel Options
View Record
Explore related channels
Quick Look
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Quick Look
Coinductive Streams in Monoidal Categories
Quick Look
Coherent Presentations of Monoidal Categories
Quick Look
Monoidal Width
Quick Look
A Monoidal View on Fixpoint Checks
Quick Look
A Categorical Approach to Syntactic Monoids
Quick Look
Extended Stone Duality via Monoidal Adjunctions
Quick Look
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
Quick Look
Tameness and the power of programs over monoids in DA
Quick Look
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
Quick Look
Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
Quick Look
Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
Quick Look
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
Quick Look
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
Quick Look
On the commutativity of the powerspace constructions
Quick Look
Rewriting Modulo Traced Comonoid Structure
Quick Look
Complexity of Problems of Commutative Grammars
Quick Look
Decreasing Diagrams for Confluence and Commutation
Quick Look
Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
Quick Look
Displayed Categories
Quick Look
Thermodynamic graph-rewriting
Quick Look
Cartesian Difference Categories
Quick Look
Lifting Coalgebra Modalities and $mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories
Quick Look
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
Load more items
View Record
Prev
Explore related channels
Next
