- The Computational Complexity of Angry Birds Matthew Stephenson Jochen Renz Xiaoyu Ge Wed 01 January 2020
- Aggregate Queries on Sparse Databases Szymon Toruńczyk Wed 01 January 2020
- A categorical approach to probability theory Michèle Giry Wed 01 January 2020
- A Metaprogramming Framework for Formal Verification Gabriel Ebner Sebastian Ullrich Jared Roesch Jeremy Avigad Leonardo de Moura Wed 01 January 2020
- Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming Sebastian Ullrich Leonardo de Moura Wed 01 January 2020
- State Space Reduction For Parity Automata Christof Løding Andreas Tollkøtter Tue 31 December 2019
- Probabilistic logics based on Riesz spaces Robert Furber Radu Mardare Matteo Mio Tue 31 December 2019
- Elaboration in Dependent Type Theory Leonardo de Moura Jeremy Avigad Soonho Kong Cody Roux Tue 31 December 2019
- MasterClass - Danny Elfman - Music for Film Daniel Elfman Mon 30 December 2019
- A Proof System for Communicating Sequential Processes Krzysztof R. Apt Nissim Francez Willem P. de Roever Sat 28 December 2019
- A Proof Technique for Communicating Sequential Processes Gary Marc Levin David Gries Sat 28 December 2019
- Lower bounds for the state complexity of probabilistic languages and the language of prime numbers Nathanael Fijalkow Fri 27 December 2019
- On the Resolution of the Sensitivity Conjecture Rohan Karthikeyan Siddharth Sinha Vallabh Patil Fri 27 December 2019
- Axiomatizing rectangular grids with no extra non-unary relations Eryk Kopczynski Fri 27 December 2019
- A Simple Proof of the Quadratic Formula Po-Shen Loh Fri 27 December 2019
- Notes on Category Theory with examples from basic mathematics Paolo Perrone Fri 27 December 2019
- Using Hoare logic in a process algebra setting J. A. Bergstra C. A. Middelburg Fri 27 December 2019
- Parameterized Verification Under TSO is PSPACE-complete Parosh Aziz Abdulla Mohamed Faouzi Atig Rojin Rezvan Tue 24 December 2019
- Co-finiteness of VASS coverability languages Diego Figueira Sun 22 December 2019
- Automatically and Efficiently Illustrating Polynomial Equalities in Agda Donnacha Oisín Kidney Tue 17 December 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
