- Temporal Stream Logic: Synthesis Beyond the Bools Bernd Finkbeiner Felix Klein Ruzica Piskac Mark Santolucito Wed 17 March 2021
- Scalar and Vectorial mu-calculus with Atoms Bartek Klin Mateusz Łełyk Wed 17 March 2021
- mu-Calculi with Atoms (Invited Talk) Bartek Klin Wed 17 March 2021
- A Faster Algorithm for Finding Tarski Fixed Points John Fearnley Rahul Savani Tue 16 March 2021
- Absorbing Patterns in BST-Like Expression-Trees Florent Koechlin Pablo Rotondo Tue 16 March 2021
- Variety Membership Testing, Algebraic Natural Proofs, and Geometric Complexity Theory Markus Bl aser Christian Ikenmeyer Vladimir Lysikov Anurag Pandey Frank-Olaf Schreyer Tue 16 March 2021
- The Riemann Hypothesis in computer science Yu. Matiyasevich Mon 15 March 2021
- Uber die Axiomatisierbarkeit des Aussagentkalkuls Laszlo Kalmar Mon 15 March 2021
- An extensible equality checking algorithm for dependent type theories Andrej Bauer Anja Petkoviá Mon 15 March 2021
- After 100 Years, Can We Finally Crack Post's Problem of Tag A Story of Computational Irreducibility, and More Stephen Wolfram Mon 15 March 2021
- Deep Tech Ethics: An Approach to Teaching Social Justice in Computer Science Rodrigo Ferreira Moshe Y. Vardi Sun 14 March 2021
- On the Complexity of the Orbit Problem Ventsislav Chonev Joel Ouaknine James Worrell Sat 13 March 2021
- Subcubic Certificates for CFL Reachability Dmitry Chistikov Rupak Majumdar Philipp Schepper Sat 13 March 2021
- Decision Power of Weak Asynchronous Models of Distributed Computing Philipp Czerner Roland Guttenberg Martin Helfrich Javier Esparza Sat 13 March 2021
- Lower Bounds on the State Complexity of Population Protocols Philipp Czerner Javier Esparza Sat 13 March 2021
- The Univalence Principle Benedikt Ahrens Paige Randall North Michael Shulman Dimitris Tsementzis Sat 13 March 2021
- Regular matching problems for infinite trees Carlos Camino Volker Diekert Besik Dundua Mircea Marin Géraud Sénizergues Sat 13 March 2021
- On Nonnegative Integer Matrices and Short Killing Words Stefan Kiefer Corto Mascle Sat 13 March 2021
- An Almost Constant Lower Bound of the Isoperimetric Coefficient in the KLS Conjecture Yuansi Chen Sat 13 March 2021
- Statistical EL is ExpTime-complete Bartosz Bednarczyk Sat 13 March 2021
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
