- Frex: Dependently Typed Algebraic Simplification Guillaume Allais Edwin Brady Nathan Corbyn Ohad Kammar Jeremy Yallop Tue 06 January 2026
- Parameterized Verification of Quantum Circuits (Technical Report) Parosh Aziz Abdulla Yu-Fang Chen Michal Hečko Lukáš Holík Ondřej Lengál Jyun-Ao Lin Ramanathan S. Thinniyam Mon 05 January 2026
- The Design of an Interactive Proof Mode for Dafny Ştefan Ciobâcă K. Rustan M. Leino Ştefan-Alexandru Mercatextcommabelow s Roxana-Mihaela Timon Mon 29 December 2025
- Stochastic well-structured transition systems James Aspnes Mon 29 December 2025
- Algebra in Algorithmic Coding Theory Madhu Sudan Fri 19 December 2025
- Toward P = NP: An Observer-Theoretic Separation via SPDP Rank and a ZFC-Equivalent Foundation within the N-Frame Model Darren J. Edwards Fri 19 December 2025
- On the Structure of Abstract Algebras Garrett Birkhoff Wed 17 December 2025
- The Birkhoff theorem for finite algebras Jan Reiterman Wed 17 December 2025
- Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata Dominik Geißler Tobias Winkler Tue 16 December 2025
- Artifact for Exact Recursive Probabilistic Programming David Chiang Colin McDonald Chung-chieh Shan Tue 16 December 2025
- Weighted Automata for Exact Inference in Discrete Probabilistic Programs Dominik Geißler Tobias Winkler Tue 16 December 2025
- Adding Reconfiguration to Zielonka's Asynchronous Automata Mathieu Lehaut Nir Piterman Mon 15 December 2025
- Unboundedness Problems for Formal Languages Georg Zetzsche Fri 12 December 2025
- Proof Synthesis with Free Extensions in Intensional Type Theory Nathan Corbyn Fri 12 December 2025
- Weakly-unambiguous Parikh automata and their link to holonomic series Alin Bostan Arnaud Carayol Florent Koechlin Cyril Nicaud Thu 11 December 2025
- Unambiguisability and Register Minimisation of Min-Plus Models Shaull Almagor Guy Arbel Sarai Sheinvald Thu 11 December 2025
- The Groupoid-syntax of Type Theory is a Set Thorsten Altenkirch Ambrus Kaposi Szumi Xie Wed 10 December 2025
- Bounded treewidth, multiple context-free grammars, and downward closures C. Aiswarya Pascal Baumann Prakash Saivasan Lia Schutze Georg Zetzsche Fri 05 December 2025
- Singularities of Composite Functions in Several Variables S. Bochner W. T. Martin Fri 05 December 2025
- On the Coefficients of Reciprocal Power Series John Lamperti Fri 05 December 2025
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
