Decision Problems for Second-Order Holonomic Recurrences
Date first appeared online | 02/07/2021 |
DOI | 10.4230/LIPIcs.ICALP.2021.99 |
Authors | Neumann E. |
Journal Name | 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) |
Volume | 198 |
Documents
- 60144.pdf , Book, © Eike Neumann, Joël Ouaknine, and James Worrell; licensed under Creative Commons License CC-BY 4.0