Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems

Author:
  • AGAlfons Geser
    Alfons Geser
Publisher website
Google Scholar
Abstract
No abstract available