Skip to content
<title>Channels - Decreasing Diagrams for Confluence and Commutation :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Decreasing Diagrams for Confluence and Commutation
Search for more channels:
Similar Items: Decreasing Diagrams for Confluence and Commutation
Channel Options
View Record
Explore related channels
Quick Look
Herbrand-Confluence
Quick Look
Compositional Confluence Criteria
Quick Look
On the commutativity of the powerspace constructions
Quick Look
Infinitary Combinatory Reduction Systems: Confluence
Quick Look
Complexity of Problems of Commutative Grammars
Quick Look
Algebraic coherent confluence and higher globular Kleene algebras
Quick Look
Addition and Differentiation of ZX-diagrams
Quick Look
String diagrams for Strictification and Coherence
Quick Look
String Diagrams for Premonoidal Categories
Quick Look
A new coinductive confluence proof for infinitary lambda calculus
Quick Look
Certifying Confluence Proofs via Relative Termination and Rule Labeling
Quick Look
The Density of Cross-Persistence Diagrams and Its Applications
Quick Look
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
Quick Look
Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently
Quick Look
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
Quick Look
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
Quick Look
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
Quick Look
Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
Quick Look
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
Quick Look
Normalization for planar string diagrams and a quadratic equivalence algorithm
Quick Look
Homotopy type theory as a language for diagrams of $infty$-logoses
Quick Look
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
Quick Look
k-diagram: Rethinking Forecasting Uncertainty via Polar-based Visualization
Quick Look
Persistence Diagrams Estimation of Multivariate Piecewise H{"o}lder-continuous Signals
Load more items
View Record
Prev
Explore related channels
Next
