Confluence of Prefix-Constrained Rewrite Systems.

Nirina Andrianarivelo Pierre Réty

Published in: FSCD (2018)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
data structure
theorem proving
tree structure