Abstract Strategies and Coherence

[1]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[2]  Paul-André Melliès,et al.  Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem , 2005, Processes, Terms and Cycles.

[3]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[4]  Friedrich Otto,et al.  Th Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting Systems , 1987, RTA.

[5]  Albert Burroni,et al.  Higher-Dimensional Word Problems with Applications to Equational Logic , 1993, Theor. Comput. Sci..

[6]  Georg Struth,et al.  Verifying Hybrid Systems with Modal Kleene Algebra , 2018, RAMiCS.

[7]  J. Rakotoson.  [On the occasion of his 60th birthday]. , 2015, Klinicheskaia meditsina.

[8]  P. Malbos,et al.  Knuth’s Coherent Presentations of Plactic Monoids of Type A , 2016, 1609.01460.

[9]  Z. Ésik,et al.  Notes on equational theories of relations , 1995 .

[10]  Friedrich Otto,et al.  A Finiteness Condition for Rewriting Systems , 1994, Theor. Comput. Sci..

[11]  Pierre-Louis Curien,et al.  J ul 2 02 1 COHERENT PRESENTATIONS OF A CLASS OF MONOIDS ADMITTING A GARSIDE FAMILY , 2021, 2107.00498.

[12]  Georg Struth,et al.  Calculating Church-Rosser Proofs in Kleene Algebra , 2001, RelMiCS.

[13]  Christian Johansen,et al.  lr-Multisemigroups and Modal Convolution Algebras , 2021, ArXiv.

[14]  Georg Struth,et al.  Internal axioms for domain semirings , 2011, Sci. Comput. Program..

[15]  Georg Struth,et al.  Hybrid process algebra , 2005, J. Log. Algebraic Methods Program..

[16]  K. I. Rosenthal.  Quantales and their applications , 1990 .

[17]  Georg Struth,et al.  Termination in Modal Kleene Algebra , 2004, IFIP TCS.

[18]  É. Goubault,et al.  Algebraic coherent confluence and higher-dimensional globular Kleene algebras , 2020, ArXiv.

[19]  Vaughan R. Pratt,et al.  Modeling concurrency with geometry , 1991, POPL '91.

[20]  Philippe Malbos,et al.  Higher-dimensional normalisation strategies for acyclicity , 2010, 1011.0558.

[21]  Ross Street,et al.  Limits indexed by category-valued 2-functors , 1976 .

[22]  Philippe Malbos,et al.  Higher-dimensional categories with finite derivation type , 2008, 0810.1442.

[23]  Philippe Malbos,et al.  Coherence in monoidal track categories , 2010, Mathematical Structures in Computer Science.

[24]  Saunders MacLane,et al.  Natural Associativity and Commutativity , 1963 .

[25]  Georg Struth,et al.  Modal Kleene Algebra Applied to Program Correctness , 2016, FM.

[26]  Eric Goubault,et al.  Directed Algebraic Topology and Concurrency , 2016, Cambridge International Law Journal.

[27]  M. Lawson.  Inverse Semigroups, the Theory of Partial Symmetries , 1998 .

[28]  Jean-Jacques Lévy,et al.  An abstract standardisation theorem , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

[29]  Philippe Malbos,et al.  Polygraphs of finite derivation type , 2014, Mathematical Structures in Computer Science.

[30]  Philippe Malbos,et al.  Coherent presentations of Artin monoids , 2012, Compositio Mathematica.