45 citations · 190 across the 20 of their papers we have counts for
4 papers · 1 filter
Shuffle polygraphic resolutions for operads
Philippe Malbos, Isaac Ren
Shuffle operads were introduced to forget the symmetric group actions on symmetric operads while preserving all possible operadic compositions. Rewriting methods were then applied…
String of columns rewriting and confluence of the jeu de taquin
Nohra Hage, Philippe Malbos
Schützenberger's jeu de taquin is an algorithm on the structure of tableaux, which transforms a skew tableau into a Young one by local transformation rules on the columns of the ta…
Algebraic coherent confluence and higher globular Kleene algebras
Cameron Calk, Eric Goubault, Philippe Malbos +1
We extend the formalisation of confluence results in Kleene algebras to a formalisation of coherent confluence proofs. For this, we introduce the structure of higher globular Kleen…
Confluence of algebraic rewriting systems
Cyrille Chenavier, Benjamin Dupont, Philippe Malbos
Convergent rewriting systems on algebraic structures give methods to solve decision problems, to prove coherence results, and to compute homological invariants. These methods are b…