Transforming Prefix-constrained or Controlled Rewrite Systems.

Nirina Andrianarivelo Vivien Pelletier Pierre Réty

Published in: SCSS (2017)

Keyphrases

rewrite systems
term rewriting
knuth bendix
active rules
quantifier free
data structure
databases
operational semantics
database
artificial intelligence
software engineering
theorem prover