Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules.

Julian Nagele Bertram Felgenhauer Aart Middeldorp

Published in: RTA (2015)

Keyphrases

rewrite systems
data analysis
database
real world
artificial intelligence
decision making
database systems
object oriented
redundant rules
term rewriting
knuth bendix