Terminyzer

swMATH8335MaRDI QIDQ20344FDOQ20344

Author name not available (Why is that?)

Cited In (3)

• Terminating Evaluation of Logic Programs with Finite Three-Valued Models
• Checking termination of bottom-up evaluation of logic programs with function symbols
• A practical analysis of non-termination in large logic programs

This page was built for software: Terminyzer