Terminyzer

MaRDI QIDQ20344swMATHFDO

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
• A practical analysis of non-termination in large logic programs
• Terminating evaluation of logic programs with finite three-valued models

This page was built for software: Terminyzer