Terminyzer

swMATH8335MaRDI QIDQ20344FDOQ20344

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007%2F978-3-642-45284-0_12

Cited In (3)

• Checking termination of bottom-up evaluation of logic programs with function symbols
• Terminating evaluation of logic programs with finite three-valued models
• A practical analysis of non-termination in large logic programs

This page was built for software: Terminyzer