Skip to main content


Journal of Automated Reasoning

Journal of Automated Reasoning 8/2020

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

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

Current Publications

Premium Partner

    Image Credits