Tight Polynomial Bounds for Loop Programs in Polynomial Space
You are here
| Title | Tight Polynomial Bounds for Loop Programs in Polynomial Space |
| Publication Type | Journal Article |
| Year of Publication | 2021 |
| Authors | Ben-Amram A.M, Hamilton G |
| Journal | Logical Methods in Computer Science |
| Volume | 17 |
| URL | https://arxiv.org/abs/2010.02823v4 |
| DOI | 10.46298/lmcs-17(4:7)2021 |
