Login / Signup

Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems.

Alfons Geser
Published in: J. Symb. Comput. (1997)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • sufficient conditions
  • term rewriting
  • np complete
  • rewrite systems
  • database
  • machine learning
  • object oriented
  • term rewrite systems