- Intuitionism in the Philosophy of Mathematics Stanford Encyclopedia of Philosophy Mon 22 June 2020
- Regular Language Type Inference with Term Rewriting - extended version Thomas Haudebourg Thomas Genet Thomas Jensen Mon 22 June 2020
- Correct and Efficient Antichain Algorithms for Refinement Checking Maurice Laveaux Jan Friso Groote Tim A. C. Willemse Mon 22 June 2020
- Political Advertising Dataset: the use case of the Polish 2020 Presidential Elections Łukasz Augustyniak Krzysztof Rajda Tomasz Kajdanowicz Michał Bernaczyk Mon 22 June 2020
- Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis Grigory Devadze Victor Magron Stefan Streif Mon 22 June 2020
- On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems Mohan Dantam Amaury Pouly Mon 22 June 2020
- On the Skolem Problem and Prime Powers George Kenison Richard Lipton Joel Ouaknine James Worrell Mon 22 June 2020
- Existential Theory of the Reals Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games Kristoffer Arnsfelt Hansen Steffan Christ Sølvsten Mon 22 June 2020
- Algebraic Language Theory for Eilenberg--Moore Algebras Achim Blumensath Mon 22 June 2020
- Polynomial time deterministic identity testingalgorithm for Sigma^[3]PiSigmaPi^[2] circuits via Edelstein-Kelly type theorem for quadratic polynomials Shir Peleg Amir Shpilka Wed 17 June 2020
- Special-case Algorithms for Blackbox Radical Membership, Nullstellensatz and Transcendence Degree Abhibhav Garg Nitin Saxena Wed 17 June 2020
- Zoom H5 manuals N/A Tue 16 June 2020
- A program for the full axiom of choice Jean-Louis Krivine Sat 13 June 2020
- On Decidability of Time-bounded Reachability in CTMDPs Rupak Majumdar Mahmoud Salamati Sadegh Soudjani Sat 13 June 2020
- A complete equational axiomatisation of partial differentiation Gordon Plotkin Sat 13 June 2020
- On the complexity of the universality and inclusion problems for unambiguous context-free grammars (Invited Paper) Lorenzo Clemente Thu 11 June 2020
- AEROMOBILI A PILOTAGGIO REMOTO - CRITERI DI UTILIZZO DELLO SPAZIO AEREO ENAC Wed 10 June 2020
- REGOLAMENTO - MEZZI AEREI A PILOTAGGIO REMOTO ENAC Wed 10 June 2020
- Linear Algebra over Polynomial Rings Murray Bremner Wed 10 June 2020
- An introduction to pseudo-linear algebra Manuel Bronstein Marko Petkovšek Wed 10 June 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 11:39:05,
Build Time: N/A
