- Logical perspectives on learning statistical objects Aaron Anderson Michael Benedikt Sat 05 April 2025
- The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently Karoliina Lehtinen Aditya Prakash Sat 05 April 2025
- Determinization of Min-Plus Weighted Automata is Decidable Shaull Almagor Guy Arbel Sarai Sheinvald Sat 05 April 2025
- mathsfP-completeness of Graph Local Complementation Pablo Concha-Vega Sat 05 April 2025
- Simple general magnification of circuit lower bounds Albert Atserias Moritz Muller Sat 05 April 2025
- Disjunctive Complexity Nikita Ivanov Alexander Rubtsov Michael Vyalyi Sat 05 April 2025
- Integer multiplication is at least as hard as matrix transposition David Harvey Joris van der Hoeven Sat 05 April 2025
- Pseudovarieties of semigroups Jorge Almeida Sat 05 April 2025
- The Size-Change Principle for Mixed Inductive and Coinductive types Pierre Hyvernat Sat 05 April 2025
- When is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic Sebastian Maneth Helmut Seidl Sat 05 April 2025
- Primes via Zeros: Interactive Proofs for Testing Primality of Natural Classes of Ideals Abhibhav Garg Rafael Oliveira Nitin Saxena Sat 05 April 2025
- Upper and Lower Bounds for the Linear Ordering Principle Edward A. Hirsch Ilya Volkovich Sat 05 April 2025
- Model completeness and quantifier elimination for (ordered) central simple algebras with involution Vincent Astier Sat 05 April 2025
- Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems Senthil Rajasekaran Moshe Y. Vardi Sat 05 April 2025
- CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming Oscar Eriksson Anders rAgren Thuné Johannes Borgstrøm David Broman Sat 05 April 2025
- Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers Jonathan Gorard Ammar Hakim Sat 05 April 2025
- Metric Dimension and Geodetic Set Parameterized by Vertex Cover Florent Foucaud Esther Galby Liana Khazaliya Shaohua Li Fionn Mc Inerney Roohani Sharma Prafullkumar Tale Sat 05 April 2025
- Problems in NP can Admit Double-Exponential Lower Bounds when Parameterized by Treewidth or Vertex Cover Florent Foucaud Esther Galby Liana Khazaliya Shaohua Li Fionn Mc Inerney Roohani Sharma Prafullkumar Tale Sat 05 April 2025
- Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof Manfred Borzechowski Malvin Gattinger Helle Hvid Hansen Revantha Ramanayake Valentina Trucco Dalmas Yde Venema Sat 05 April 2025
- Rerailing Automata Rudiger Ehlers Sat 05 April 2025
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
