1 paper · 1 filter
Pierre-Louis Curien, Guillaume Laplante-Anfossi
We define term rewriting systems on the vertices and faces of nestohedra, and show that the former are confluent and terminating. While the associated posets on vertices generalize…