Tight Polynomial Worst-Case Bounds for Loop Programs
You are here
| Title | Tight Polynomial Worst-Case Bounds for Loop Programs |
| Publication Type | Journal Article |
| Year of Publication | 2020 |
| Authors | Ben-Amram AM, Hamilton G |
| Journal | Logical Methods in Computer Science |
| Volume | Volume 16, Issue 2 |
| Keywords | Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, F.2.0 |
| URL | https://lmcs.episciences.org/6477 |
