- ALFA AGA-2424T 24dBi Assembly instructions unknown Wed 21 August 2019
- Two-variable logic revisited Yanger Ma Tony Tan Wed 21 August 2019
- Lemma Generation for Horn Clause Satisfiability: A Preliminary Study Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Wed 21 August 2019
- Impugning Randomness, Convincingly Yuri Gurevich Grant Olney Passmore Wed 21 August 2019
- Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals Leonardo de Moura Grant Olney Passmore Wed 21 August 2019
- Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL Wenda Li Grant Olney Passmore Lawrence C. Paulson Wed 21 August 2019
- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers Grant Olney Passmore Wed 21 August 2019
- Boolean Satisfiability Solvers and Their Applications in Model Checking Y. Vizel G. Weissenbacher S. Malik Tue 20 August 2019
- Regular Tree Algebras Achim Blumensath Tue 20 August 2019
- On the Decision Problem for Two-Variable First-Order Logic Erich Gradel Phokion G. Kolaitis Moshe Y. Vardi Tue 20 August 2019
- The Reachability Problem for Petri Nets is Not Elementary Wojciech Czerwiński Sławomir Lasota Ranko Lazić Jérôme Leroux Filip Mazowiecki Mon 19 August 2019
- Bidirectional Typing Joshua Dunfield Neel Krishnaswami Mon 19 August 2019
- Automating Formalization by Statistical and Semantic Parsing of Mathematics Cezary Kaliszyk Josef Urban Jiří Vyskočil Mon 19 August 2019
- First Experiments with Neural Translation of Informal to Formal Mathematics Qingxiang Wang Cezary Kaliszyk Josef Urban Mon 19 August 2019
- Shortest paths in one-counter systems Dmitry Chistikov Wojciech Czerwiński Piotr Hofman Michał Pilipczuk Michael Wehar Sun 18 August 2019
- From Real-time Logic to Timed Automata Thomas Ferrère Oded Maler Dejan Ničković Amir Pnueli Sat 17 August 2019
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States Conrad Cotton-Barratt Andrzej S. Murawski C.-H. Luke Ong Sat 17 August 2019
- Constraint Logic Programming Applied to Model Checking Laurent Fribourg Sat 17 August 2019
- Timing analysis of TCP servers for surviving denial-of-service attacks V. Krishna Nandivada J. Palsberg Sat 17 August 2019
- Analyzing pushdown systems with stack manipulation Fu Song Fri 16 August 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
