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