Login / Signup

Relative Undecidability in the Termination Hierarchy of Single Rewrite Rules.

Alfons GeserAart MiddeldorpEnno OhlebuschHans Zantema
Published in: TAPSOFT (1997)
Keyphrases
  • rewrite rules
  • term rewrite systems
  • rewriting rules
  • description logics
  • transformation rules
  • data sources
  • life cycle