Abstract strategies and coherence
From MaRDI portal
Publication:2695348
DOI10.1007/978-3-030-88701-8_7OpenAlexW3209423998MaRDI QIDQ2695348FDOQ2695348
Authors: Cameron Calk, Philippe Malbos, Éric Goubault
Publication date: 30 March 2023
Full work available at URL: https://doi.org/10.1007/978-3-030-88701-8_7
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Boolean Algebras with Operators. Part I
- Polygraphs of finite derivation type
- Title not available (Why is that?)
- Notes on equational theories of relations
- Concurrent Kleene algebra and its foundations
- Internal axioms for domain semirings
- Limits indexed by category-valued 2-functors
- A finiteness condition for rewriting systems
- Higher-dimensional categories with finite derivation type
- Higher-dimensional normalisation strategies for acyclicity
- Higher-dimensional word problems with applications to equational logic
- Coherence in monoidal track categories
- Coherent presentations of Artin monoids
- Title not available (Why is that?)
- Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
- Verifying hybrid systems with modal Kleene algebra
- Modal Kleene algebra applied to program correctness
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Knuth's coherent presentations of plactic monoids of type A
- Title not available (Why is that?)
Cited In (6)
- PADUA Protocol: Strategies and Tactics
- Strategic Vagueness, and Appropriate Contexts
- Algebraic coherent confluence and higher globular Kleene algebras
- Title not available (Why is that?)
- Higher-dimensional normalisation strategies for acyclicity
- A rewriting coherence theorem with applications in homotopy type theory
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)