Semantically-Guided Goal-Sensitive Reasoning: Inference System and Completeness Maria Paola BonacinaDavid A. Plaisted OriginalPaper 06 August 2016 Pages: 165 - 218
A Complete Uniform Substitution Calculus for Differential Dynamic Logic André Platzer OriginalPaper Open access 23 August 2016 Pages: 219 - 265
Fermat, Euler, Wilson - Three Case Studies in Number Theory Christoph WaltherNathan Wasser OriginalPaper 04 October 2016 Pages: 267 - 286