Decision Problems for Second-Order Holonomic Recurrences.

Eike Neumann, Jol Ouaknine, James Worrell

Browse the full ICALP paper archive.