Login / Signup

Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully.

Hans-Josef Jeanrond
Published in: CADE (1980)
Keyphrases
  • rewriting systems
  • rewriting rules
  • database
  • data model
  • object oriented
  • relational algebra
  • databases
  • expressive power