Decision problems for linear recurrences involving arbitrary real numbers
| Date first appeared online | 10/08/2021 |
| DOI | 10.46298/lmcs-17(3:16)2021 |
| Authors | Neumann E. |
| Journal Name | Logical Methods in Computer Science |
| Volume | 17 |
Documents
- 60145_VoR.pdf , Book, © E. Neumann. This work is licensed under the Creative Commons Attribution License