Login / Signup
Termination orders for 3-dimensional rewriting
Yves Guiraud
Published in:
CoRR (2006)
Keyphrases
</>
termination analysis
active rules
presburger arithmetic
multi dimensional
knuth bendix
term rewriting
conjunctive queries
active databases
rewrite rules
rewrite systems
query rewriting
information retrieval
total order
regular path queries
queries using views
rewriting systems
algebraic structure
type checking
data structure
artificial intelligence