- Don't Eliminate Cut George Boolos Sat 14 March 2020
- Hilbert's Tenth Problem in Coq Dominique Larchey-Wendling Yannick Forster Thu 12 March 2020
- Beyond sets with atoms: definability in first order logic Michał R. Przybyłek Thu 12 March 2020
- Existential Length Universality Paweł Gawrychowski Martin Lange Narad Rampersad Jeffrey Shallit Marek Szykuła Thu 12 March 2020
- Mechanized Metatheory for the Masses: The PoplMark Challenge Brian E. Aydemir Aaron Bohannon Matthew Fairbairn J. Nathan Foster Benjamin C. Pierce Peter Sewell Dimitrios Vytiniotis Geoffrey Washburn Stephanie Weirich Steve Zdancewic Thu 12 March 2020
- Five stages of accepting constructive mathematics Andrej Bauer Tue 10 March 2020
- Abella: A System for Reasoning about Relational Specifications David Baelde Kaustuv Chaudhuri Andrew Gacek Dale Miller Gopalan Nadathur Alwen Tiu Yuting Wang Tue 10 March 2020
- Mathematical semantics of intuitionistic logic Sergey A. Melikhov Mon 09 March 2020
- A machine program for theorem-proving Martin Davis George Logemann Donald Loveland Mon 09 March 2020
- Proceedings of SAT RACE 2019 Solver and Benchmark Descriptions Marijn J. H. Heule Matti Jarvisalo Mon 09 March 2020
- On the Existential Theories of Buchi Arithmetic and Linear p-adic Fields Florent Guépin Christoph Haase James Worrell Sun 08 March 2020
- From QBFs to MALL and back via focussing: fragments of multiplicative additive linear logic for each level of the polynomial hierarchy Anupam Das Sat 07 March 2020
- The TPTP Problem Library and Associated Infrastructure Geoff Sutcliffe Sat 07 March 2020
- Trace inclusion for one-counter nets revisited Piotr Hofman Patrick Totzke Tue 03 March 2020
- On the Containment Problem for Linear Sets Hans U. Simon Tue 03 March 2020
- Context-free commutative grammars with integer counters and resets Dmitry Chistikov Christoph Haase Simon Halfon Tue 03 March 2020
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics Christian Choffrut Tue 03 March 2020
- Deciding whether the ordering is necessary in a Presburger formula Christian Choffrut Achille Frigeri Tue 03 March 2020
- łangle mathbb R, +,<,1 rangle Is Decidable in łangle mathbb R, +,< , mathbb Z rangle Alexis Bès Christian Choffrut Tue 03 March 2020
- Deciding Classes of Regular Languages: The Covering Approach Thomas Place Tue 03 March 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
