- Proof Compression and NP Versus PSPACE II: Addendum L. Gordeev E. H. Hermann Thu 19 November 2020
- Proof Compression and NP Versus PSPACE L. Gordeev E. H. Haeusler Thu 19 November 2020
- Proof Compression and NP Versus PSPACE II Lew Gordeev Edward Hermann Haeusler Thu 19 November 2020
- Evidence-providing problem solvers in Agda Uma Zalakain Tue 17 November 2020
- A Set of Five Independent Postulates for Boolean Algebras, with Application to Logical Constants Henry Maurice Sheffer Mon 16 November 2020
- Uber Zerlegung von Zahlen durch ihre grøssten gemeinsamen Theiler Richard Dedekind Mon 16 November 2020
- An Introduction to Programming and Proving in Agda Peter Dybjer Sat 14 November 2020
- Checking for Language Inclusion with Kurshan's Quasi-Complement Construction Adam McDevitt Sat 14 November 2020
- Generalizations of Hedberg's Theorem Nicolai Kraus Martín Escardó Thierry Coquand Thorsten Altenkirch Sat 14 November 2020
- Weighted register automata and weighted logic on data words Parvaneh Babari Manfred Droste Vitaly Perevoshchikov Fri 13 November 2020
- Optimal run problem for weighted register automata Hiroyuki Seki Reo Yoshimura Yoshiaki Takata Fri 13 November 2020
- Alternating automata, the weak monadic theory of trees and its complexity David E. Muller Ahmed Saoudi Paul E. Schupp Fri 13 November 2020
- Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs Pascal Baumann Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche Thu 12 November 2020
- The algebra of binary trees is affine complete Andre Arnold Patrick Cegielski Serge Grigorieff Irene Guessarian Thu 12 November 2020
- On the Complexity of CSP-based Ideal Membership Problems Andrei A. Bulatov Akbar Rafiey Thu 12 November 2020
- Type safety of rewrite rules in dependent types Frédéric Blanqui Wed 04 November 2020
- Formalizing IMO Problems and Solutions in Isabelle/HOL Filip Marić Sana Stojanović-Đurđević Wed 04 November 2020
- Isabelle/HOL as a Meta-Language for Teaching Logic Asta Halkjær From Jørgen Villadsen Patrick Blackburn Wed 04 November 2020
- String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report) Lukas Holik Petr Janku Anthony W. Lin Philipp Rummer Tomas Vojnar Wed 04 November 2020
- On Krohn-Rhodes theory for semiautomata Karl-Heinz Zimmermann Wed 04 November 2020
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
