- Determination of limit cycles using stroboscopic set-valued maps Jawher Jerray Laurent Fribourg Thu 12 August 2021
- Pointlike Sets and Separation: A Personal Perspective Benjamin Steinberg Thu 12 August 2021
- Sur une nouvelle classification des systèmes de relations Roland Fraissé Wed 11 August 2021
- Untersuchungen aus dem Gebiete der mathematischen Logik Anatoly Ivanovich Maltsev Wed 11 August 2021
- Rational verification: game-theoretic verification of multi-agent systems Alessandro Abate Julian Gutierrez Lewis Hammond Paul Harrenstein Marta Kwiatkowska Muhammad Najib Giuseppe Perelli Thomas Steeples Michael Wooldridge Wed 11 August 2021
- First-order natural deduction in Agda Louis Warren Tue 10 August 2021
- On Extensions of Elementary Logic Per Lindstrøm Tue 10 August 2021
- On the complexity of regular resolution and the Davis-Putnam procedure Zvi Galil Wed 04 August 2021
- Near Optimal Separation Of Tree-Like And General Resolution Eli Ben-Sasson Russell Impagliazzo Avi Wigderson Wed 04 August 2021
- On the complexity of derivations in propositional calculus G. S. Tseitin Wed 04 August 2021
- On the Complexity of Derivation in Propositional Calculus G. S. Tseitin Wed 04 August 2021
- The relative efficiency of propositional proof systems Stephen A. Cook Robert A. Reckhow Wed 04 August 2021
- Martin Hofmann's contributions to type theory: Groupoids and univalence Thorsten Altenkirch Mon 02 August 2021
- Decidable Verification of Uninterpreted Programs Umang Mathur P. Madhusudan Mahesh Viswanathan Mon 02 August 2021
- A novel learning algorithm for Buchi automata based on family of DFAs and classification trees Yong Li Yu-Fang Chen Lijun Zhang Depeng Liu Mon 02 August 2021
- Pecan: An Automated Theorem Prover for Automatic Sequences using Buchi Automata Reed Oei Dun Ma Christian Schulz Philipp Hieronymi Mon 02 August 2021
- Logical Characterization of Coherent Uninterpreted Programs Hari Govind V K Sharon Shoham Arie Gurfinkel Mon 02 August 2021
- First-Order Logic with Connectivity Operators Nicole Schrader Sebastian Siebertz Alexandre Vigny Fri 30 July 2021
- Separator logic and star-free expressions for graphs Mikolaj Bojanczyk Fri 30 July 2021
- Sentences with finite models C. J. Ash Thu 29 July 2021
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
