Login / Signup
Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems.
M. R. K. Krishna Rao
Published in:
Acta Informatica (1996)
Keyphrases
</>
rewrite systems
term rewriting systems
update operators
high level
rough sets
integrity constraints
complex objects