1. A PSpace Algorithm for Acyclic Epistemic DL \(\mathcal {ALCS}5_m\)

   • Jia Tao

   OriginalPaper 12 June 2018 Pages: 539 - 555

   

2. Semantics of Mizar as an Isabelle Object Logic

   • Cezary Kaliszyk
   • Karol Pąk

   OriginalPaper Open access 28 August 2018 Pages: 557 - 595

3. Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF

   • Olaf Beyersdorff
   • Joshua Blinkhorn
   • Martin Suda

   OriginalPaper Open access 24 September 2018 Pages: 597 - 623

   

4. Mechanized Metatheory Revisited

   • Dale Miller

   OriginalPaper 04 October 2018 Pages: 625 - 665

   

5. Classification of Finite Fields with Applications

   • Hing-Lun Chan
   • Michael Norrish

   OriginalPaper 25 October 2018 Pages: 667 - 693

   

6. Formally Verifying the Solution to the Boolean Pythagorean Triples Problem

   • Luís Cruz-Filipe
   • Joao Marques-Silva
   • Peter Schneider-Kamp

   OriginalPaper 27 October 2018 Pages: 695 - 722

   

7. Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation

   • Wenxi Wang
   • Harald Søndergaard
   • Peter J. Stuckey

   OriginalPaper 08 November 2018 Pages: 723 - 762

   

8. An Isabelle/HOL Formalisation of Green’s Theorem

   • Mohammad Abdulaziz
   • Lawrence C. Paulson

   OriginalPaper 09 November 2018 Pages: 763 - 786

   

9. Formalization of Geometric Algebra in HOL Light

   • Li-Ming Li
   • Zhi-Ping Shi
   • Yong-Dong Li

   OriginalPaper 04 December 2018 Pages: 787 - 808