On prefixal one-rule string rewrite systems.

Michel Latteux Yves Roos

Published in: Theor. Comput. Sci. (2019)

Keyphrases

rewrite systems
active rules
term rewriting
active databases
quantifier free
knuth bendix
business rules
integrity constraints
information systems
expert systems
relational databases
classification rules
theorem prover
production rules