- Provability in BI's Sequent Calculus is Decidable Alexander Gheorghiu Simon Docherty David Pym Sat 13 March 2021
- Smart Choices and the Selection Monad Martin Abadi Gordon Plotkin Fri 12 March 2021
- A Formal Proof of the Irrationality of zeta(3) Assia Mahboubi Thomas Sibut-Pinote Wed 10 March 2021
- Parity and Streett Games with Costs Nathanael Fijalkow Martin Zimmermann Wed 10 March 2021
- The Long, the Short and the Random Giorgio Camerani Wed 10 March 2021
- Beyond sets with atoms: definability in first order logic Michał R. Przybyłek Wed 10 March 2021
- The Agda Universal Algebra Library and Birkhoff's Theorem in Dependent Type Theory William DeMeo Wed 10 March 2021
- Type-Based Analysis of Logarithmic Amortised Complexity Martin Hofmann Lorenz Leutgeb Georg Moser David Obwaller Florian Zuleger Wed 10 March 2021
- On the Expressive Power of Homomorphism Counts Albert Atserias Phokion G. Kolaitis Wei-Lin Wu Wed 10 March 2021
- Continuous One-Counter Automata Michael Blondin Tim Leys Filip Mazowiecki Philip Offtermatt Guillermo A. Pérez Wed 10 March 2021
- Pecan: An Automated Theorem Prover for Automatic Sequences using Buchi Automata Reed Oei Dun Ma Christian Schulz Philipp Hieronymi Wed 10 March 2021
- The ETH is False, k-SAT is in Sub-Exponential Time Giorgio Camerani Wed 10 March 2021
- Neural Termination Analysis Mirco Giacobbe Daniel Kroening Julian Parsert Wed 10 March 2021
- Recognizability of languages via deterministic finite automata with values on a monoid: General Myhill-Nerode Theorem José Ramon González de Mendívil Federico Fariña Wed 10 March 2021
- Twin-width and permutations Édouard Bonnet Jaroslav Nešetřil Patrice Ossona de Mendez Sebastian Siebertz Stephan Thomassé Wed 10 March 2021
- Ordered graphs of bounded twin-width Pierre Simon Szymon Toruńczyk Wed 10 March 2021
- Dynamic Membership for Regular Languages Antoine Amarilli Louis Jachiet Charles Paperman Wed 10 March 2021
- Locality and Centrality: The Variety ZG Antoine Amarilli Charles Paperman Wed 10 March 2021
- Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata Borja Balle Clara Lacroce Prakash Panangaden Doina Precup Guillaume Rabusseau Wed 10 March 2021
- Verification of Sets of Infinite State Processes Using Program Transformation Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Wed 10 March 2021
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
