Login / Signup
Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems.
Zurab Khasidashvili
Mizuhito Ogawa
Vincent van Oostrom
Published in:
Inf. Comput. (2001)
Keyphrases
</>
rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem prover
normalization method
database
information systems
data structure
relational databases
data model
database management systems
active databases