Skip to content
<title>Channels - Rewriting techniques for relative coherence :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Rewriting techniques for relative coherence
Search for more channels:
Similar Items: Rewriting techniques for relative coherence
Channel Options
View Record
Explore related channels
Quick Look
Logical relations for coherence of effect subtyping
Quick Look
Coherent and finiteness spaces
Quick Look
Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
Quick Look
Coherent Presentations of Monoidal Categories
Quick Look
A coherent differential PCF
Quick Look
String diagrams for Strictification and Coherence
Quick Look
Thermodynamic graph-rewriting
Quick Look
Differentials and distances in probabilistic coherence spaces
Quick Look
Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
Quick Look
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
Quick Look
Complexity of Conditional Term Rewriting
Quick Look
Reachability Analysis of Innermost Rewriting
Quick Look
Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
Quick Look
Algebraic coherent confluence and higher globular Kleene algebras
Quick Look
Consistency and Completeness of Rewriting in the Calculus of Constructions
Quick Look
Transforming Outermost into Context-Sensitive Rewriting
Quick Look
Modes of Convergence for Term Graph Rewriting
Quick Look
On Constructor Rewrite Systems and the Lambda Calculus
Quick Look
A Rewriting View of Simple Typing
Quick Look
Towards 3-Dimensional Rewriting Theory
Quick Look
Modular Complexity Analysis for Term Rewriting
Quick Look
Partial Order Infinitary Term Rewriting
Quick Look
Rewriting Modulo Traced Comonoid Structure
Quick Look
Modularity of Convergence and Strong Convergence in Infinitary Rewriting
Load more items
View Record
Prev
Explore related channels
Next
