Login / Signup

Testing Confluence of Nonterminating Rewriting Systems.

Yiyun ChenMichael J. O'Donnell
Published in: CTRS (1990)
Keyphrases
  • rewriting systems
  • rewriting rules
  • relational databases
  • test cases
  • linked data