Search Results for author:
Found 1 papers, 0 papers with code
Generic Encodings of Constructor Rewriting Systems
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.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
