- Logical Questions Concerning the mu-Calculus: Interpolation, Lyndon and Łoś-Tarski Giovanna D'Agostino Marco Hollenberg Fri 14 February 2020
- Interpolation modulo theories Jurgen Christ Fri 14 February 2020
- Learning Non-Markovian Reward Models in MDPs Gavin Rens Jean-François Raskin Fri 14 February 2020
- Continuous Regular Functions Alexi Block Gorman Philipp Hieronymi Elliot Kaplan Ruoyu Meng Erik Walsberg Zihe Wang Ziqin Xiong Hongru Yang Fri 14 February 2020
- Properties preserved under homomorphism. Roger C. Lyndon Thu 13 February 2020
- Some useful preservation theorems Kevin J. Compton Thu 13 February 2020
- An Improved Homomorphism Preservation Theorem From Lower Bounds in Circuit Complexity Benjamin Rossman Thu 13 February 2020
- Homomorphism Preservation Theorems Benjamin Rossman Thu 13 February 2020
- A Survey on String Constraint Solving Roberto Amadini Thu 13 February 2020
- Buchi automata recognizing sets of reals definable in first-order logic with addition and order Arthur Milchior Wed 12 February 2020
- A Generalization of Semenov's Theorem to Automata over Real Numbers Bernard Boigelot Julien Brusten Jérôme Leroux Wed 12 February 2020
- A Generalization of Cobham's Theorem to Automata over Real Numbers Bernard Boigelot Julien Brusten Wed 12 February 2020
- LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals Bernd Becker Christian Dax Jochen Eisinger Felix Klaedtke Wed 12 February 2020
- Theories of real addition with and without a predicate for integers Alexis Bès Christian Choffrut Wed 12 February 2020
- Complexity Theory, Game Theory, and Economics: The Barbados Lectures Tim Roughgarden Wed 12 February 2020
- Relativization of Gurevich's Conjectures Anatole Dahan Anuj Dawar Wed 12 February 2020
- Means-fit effectivity Yuri Gurevich Wed 12 February 2020
- SAT-Based ATL Satisfiability Checking Magdalena Kacprzak Artur Niewiadomski Wojciech Penczek Wed 12 February 2020
- Alternating Tree Automata with Qualitative Semantics Raphael Berthon Nathanael Fijalkow Emmanuel Filiot Shibashis Guha Bastien Maubert Aniello Murano Laureline Pinault Sophie Pinchinat Sasha Rubin Olivier Serre Wed 12 February 2020
- Polynomial time algorithms for inclusion and equivalence of deterministic parity acceptors Dana Angluin Dana Fisman Wed 12 February 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
