Terminyzer
From MaRDI portal
Software:20344
No author found.
Related Items (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
