Deciding Termination of Uniform Loops with Polynomial Parameterized Complexity
Authors: Marcel Hark, Florian Frohn and Jürgen Giesl
Paper Information
| Title: | Deciding Termination of Uniform Loops with Polynomial Parameterized Complexity |
| Authors: | Marcel Hark, Florian Frohn and Jürgen Giesl |
| Proceedings: | WST22 Program papers |
| Editor: | Cynthia Kop |
| Keywords: | Termination, Linear Loops, Decision Procedure, Complexity, Closed Form |
| Pages: | 5 |
| Talk: | Aug 11 14:30 (Session 127R) |
| Paper: |  |