One-Rule Length-Preserving Rewrite Systems and Rational Transductions.

Michel Latteux Yves Roos

Published in: RAIRO Theor. Informatics Appl. (2014)

Keyphrases

rewrite systems
active rules
term rewriting
active databases
knuth bendix
quantifier free
finite state
finite automata
object oriented databases
theorem proving
distributed systems
integrity constraints
spatial objects