- Algebra-Based Reasoning for Loop Synthesis Andreas Humenberger Daneshvar Amrollahi Nikolaj Bjørner Laura Kovács Tue 12 April 2022
- D-Finiteness: Algorithms and Applications Bruno Salvy Sun 18 October 2020
- On the Skolem Problem for Reversible Sequences George Kenison Fri 02 March 2012
Library Size: 13G (3 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
