Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems.

Cyrille Chenavier Christophe Cordero Samuele Giraudo

Published in: Exp. Math. (2021)

Keyphrases

rewrite systems
term rewriting
knuth bendix
quantifier free
databases
information systems
logic programming
spatial relationships