no code implementations • 14 May 2019 • Horatiu Cirstea, Pierre-Etienne Moreau
We propose in this paper a concise and clear algorithm computing the difference over patterns which can be used to define generic encodings of constructor term rewriting systems with negation and order into classical term rewriting systems.