0 | -- | 0 | Alexandru Baltag, Nick Bezhanishvili, David Fernández Duque. The Topological Mu-Calculus: Completeness and Decidability |
0 | -- | 0 | Eli Ben-Sasson, Dan Carmon, Yuval Ishai, Swastik Kopparty, Shubhangi Saraf. Proximity Gaps for Reed-Solomon Codes |
0 | -- | 0 | Soheil Behnezhad, MohammadTaghi Hajiaghayi, David G. Harris 0001. Exponentially Faster Massively Parallel Maximal Matching |
0 | -- | 0 | Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell 0001. On Strongest Algebraic Program Invariants |
0 | -- | 0 | Jean Goubault-Larrecq, Xiaodong Jia 0002, Clément Théron. A Domain-theoretic Approach to Statistical Programming Languages |
0 | -- | 0 | Christoph Berkholz, Jakob Nordström. Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps |
0 | -- | 0 | Greg Bodwin, Merav Parter. Restorable Shortest Path Tiebreaking for Edge-Faulty Graphs |
0 | -- | 0 | Graham Cormode, Zohar S. Karnin, Edo Liberty, Justin Thaler, Pavel Veselý 0001. Relative Error Streaming Quantiles |
0 | -- | 0 | Yaonan Jin, Pinyan Lu. 2 Efficient |