- How Good Is a Strategy in a Game With Nature Arnaud Carayol Olivier Serre Tue 03 March 2020
- Model Completeness, Covers and Superposition Diego Calvanese Silvio Ghilardi Alessandro Gianola Marco Montali Andrey Rivkin Tue 03 March 2020
- Quantifier-Free Interpolation in Combinations of Equality Interpolating Theories Roberto Bruttomesso Silvio Ghilardi Silvio Ranise Tue 03 March 2020
- Interpolation for Data Structures Deepak Kapur Rupak Majumdar Calogero G. Zarba Tue 03 March 2020
- Compactly Representing Uniform Interpolants for EUF using (conditional) DAGS Silvio Ghilardi Alessandro Gianola Deepak Kapur Tue 03 March 2020
- FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints Anastasios Kyrillidis Anshumali Shrivastava Moshe Y. Vardi Zhiwei Zhang Tue 03 March 2020
- Universality Problem for Unambiguous VASS Wojciech Czerwiński Diego Figueira Piotr Hofman Tue 03 March 2020
- On Computability of Data Word Functions Defined by Transducers Léo Exibard Emmanuel Filiot Pierre-Alain Reynier Tue 03 March 2020
- On the complexity of zero gap MIP* Hamoon Mousavi Seyed Sajjad Nezhadi Henry Yuen Tue 03 March 2020
- A Bridge between Polynomial Optimization and Games with Imperfect Recall Hugo Gimbert Soumyajit Paul B. Srivathsan Tue 03 March 2020
- Formal verification of higher-order probabilistic programs Tetsuya Sato Alejandro Aguirre Gilles Barthe Marco Gaboardi Deepak Garg Justin Hsu Tue 03 March 2020
- Multiplicity Equivalence Testing of Automata over Partially Commutative Monoids V. Arvind Abhranil Chatterjee Rajit Datta Partha Mukhopadhyay Tue 03 March 2020
- Decomposing Probabilistic Lambda-calculi Ugo Dal Lago Giulio Guerrieri Willem Heijltjes Tue 03 March 2020
- HyperRogue: Playing with Hyperbolic Geometry Eryk Kopczyński Dorota Celinska Marek Čtrnáct Tue 03 March 2020
- Hyperbolic Minesweeper is in P Eryk Kopczyński Tue 03 March 2020
- Extensions of ømega-Regular Languages Mikołaj Bojańczyk Edon Kelmendi Rafał Stefański Georg Zetzsche Tue 03 March 2020
- First-order tree-to-tree functions Mikołaj Bojańczyk Amina Doumane Tue 03 March 2020
- Sister Celine's technique and its generalizations Doron Zeilberger Tue 03 March 2020
- Lattice Paths, Reflections & Dimension-Changing Bijections Richard K. Guy C. Krattenthaler Bruce E. Sagan Mon 02 March 2020
- Square lattice walks avoiding a quadrant Mireille Bousquet-Mélou Mon 02 March 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
