Skip to main content
main-content

Zeitschrift

Journal of Automated Reasoning

Journal of Automated Reasoning 8/2020

Ausgabe 8/2020

Inhaltsverzeichnis ( 4 Artikel )

19.02.2020 | Ausgabe 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 | Ausgabe 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 | Ausgabe 8/2020

Loop-Type Sequent Calculi for Temporal Logic

R. Alonderis, R. Pliuškevičius, A. Pliuškevičienė, H. Giedra

17.02.2020 | Ausgabe 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

Aktuelle Ausgaben

Premium Partner

    Bildnachweise