- The polynomial-time hierarchy Larry J. Stockmeyer Sun 23 February 2020
- Systems of Logic Based on Ordinals A. M. Turing Sun 23 February 2020
- The unreasonable effectiveness of mathematics in the natural sciences Eugene P. Wigner Sun 23 February 2020
- Mathematical Logic in Computer Science Assaf Kfoury Sun 23 February 2020
- Influences of Mathematical Logic on Computer Science Martin Davis Sun 23 February 2020
- Languages that Capture Complexity Classes Neil. Immerman Sun 23 February 2020
- Languages Which Capture Complexity Classes Neil Immerman Sun 23 February 2020
- On the Unusual Effectiveness of Logic in Computer Science Joseph Y. Halpern Robert Harper Neil Immerman Phokion G. Kolaitis Moshe Y. Vardi Victor Vianu Sun 23 February 2020
- Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership Andreas Krebs Kamal Lodaya Paritosh K. Pandya Howard Straubing Fri 21 February 2020
- The monitoring problem for timed automata Alejandro Grez Filip Mazowiecki Michał Pilipczuk Gabriele Puppis Cristian Riveros Fri 21 February 2020
- A Short Introduction to Løwenheim's Life and Work and to a Hitherto Unknown Paper Christian Thiel Tue 18 February 2020
- Social dilemmas among unequals Oliver P. Hauser Christian Hilbe Krishnendu Chatterjee Martin A. Nowak Sun 16 February 2020
- The ultra-weak Ash conjecture and some particular cases Annie Chateau Malika More Sat 15 February 2020
- Spectra with only unary function symbols Arnaud Durand Ronald Fagin Bernd Loescher Sat 15 February 2020
- A counterexample to a conjecture of Scott and Suppes W. W. Tait Sat 15 February 2020
- Foundational Aspects of Theories of Measurement Dana Scott Patrick Suppes Sat 15 February 2020
- Reflections on Finite Model Theory Phokion G. Kolaitis Sat 15 February 2020
- Finite-Model Theory---a Personal Perspective Ronald Fagin Sat 15 February 2020
- An Interpolation Theorem Martin Otto Fri 14 February 2020
- Efficient Generation of Craig Interpolants in Satisfiability modulo Theories Alessandro Cimatti Alberto Griggio Roberto Sebastiani Fri 14 February 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
