- On the p-adic Skolem Problem Piotr Bacik Joel Ouaknine David Purser James Worrell Fri 25 April 2025
- Bridging Weighted First Order Model Counting and Graph Polynomials Qipeng Kuang Ondřej Kużelka Yuanhong Wang Yuyi Wang Wed 24 July 2024
- Skolem Meets Schanuel Yuri Bilu Florian Luca Joris Nieuwveld Joel Ouaknine David Purser James Worrell Fri 29 April 2022
- Computer Science and Metaphysics: A Cross-Fertilization Daniel Kirchner Christoph Benzmuller Edward N. Zalta Fri 28 June 2019
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
