TERMINATOR

swMATH6692MaRDI QIDQ18774FDOQ18774

Author name not available (Why is that?)

Described by source

• Symbolic termination analysis of solvable loops

Cited In (3)

• Automatic complexity analysis of integer programs via triangular weakly non-linear loops
• Discovering non-terminating inputs for multi-path polynomial programs
• Analyzing ultimate positivity for solvable systems

This page was built for software: TERMINATOR