Walther recursion

This publication has 7 references indexed in Scilit:

• On proving the termination of algorithms by machine
  Artificial Intelligence, 1994
• Set-based analysis of ML programs
  Published by Association for Computing Machinery (ACM) ,1994
• Soft typing with conditional types
  Published by Association for Computing Machinery (ACM) ,1994
• Rewrite Systems
  Published by Elsevier ,1990
• Automata on Infinite Objects
  Published by Elsevier ,1990
• IMPS : An interactive mathematical proof system
  Published by Springer Nature ,1990
• Orderings for term-rewriting systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979