- A Decision Method for the Rational Sequence Problem Bruce E. Litow Tue 25 September 2012
- Skolem's Problem - On the Border between Decidability and Undecidability Vesa Halava Tero Harju Mika Hirvensalo Juhani Karhumaki Tue 25 September 2012
- Positivity of second order linear recurrent sequences Vesa Halava Tero Harju Mika Hirvensalo Tue 25 September 2012
Library Size: 13G (3 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
