Journal Journal of Automated Reasoning Issue 8/2020 Table of Contents ( 4 Articles ) 19-02-2020 | Issue 8/2020 Open Access Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations Ullrich Hustadt, Ana Ozaki, Clare Dixon Download PDF-version View full text 16-01-2020 | Issue 8/2020 The 2D Dependency Pair Framework for Conditional Rewrite Systems—Part II: Advanced Processors and Implementation Techniques Salvador Lucas, José Meseguer, Raúl Gutiérrez 13-02-2020 | Issue 8/2020 Loop-Type Sequent Calculi for Temporal Logic R. Alonderis, R. Pliuškevičius, A. Pliuškevičienė, H. Giedra 17-02-2020 | Issue 8/2020 System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie
