Abstract strategies and coherence
From MaRDI portal
Publication:2695348
Recommendations
Cites work
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 1953901 (Why is no real title available?)
- scientific article; zbMATH DE number 1761434 (Why is no real title available?)
- scientific article; zbMATH DE number 2163052 (Why is no real title available?)
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- A finiteness condition for rewriting systems
- Boolean Algebras with Operators. Part I
- Coherence in monoidal track categories
- Coherent presentations of Artin monoids
- Concurrent Kleene algebra and its foundations
- Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
- Higher-dimensional categories with finite derivation type
- Higher-dimensional normalisation strategies for acyclicity
- Higher-dimensional word problems with applications to equational logic
- Internal axioms for domain semirings
- Knuth's coherent presentations of plactic monoids of type A
- Limits indexed by category-valued 2-functors
- Modal Kleene algebra applied to program correctness
- Notes on equational theories of relations
- Polygraphs of finite derivation type
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Verifying hybrid systems with modal Kleene algebra
Cited in
(6)- A rewriting coherence theorem with applications in homotopy type theory
- PADUA Protocol: Strategies and Tactics
- Strategic Vagueness, and Appropriate Contexts
- Algebraic coherent confluence and higher globular Kleene algebras
- scientific article; zbMATH DE number 7204333 (Why is no real title available?)
- Higher-dimensional normalisation strategies for acyclicity
This page was built for publication: Abstract strategies and coherence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2695348)