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