Skip to main content
main-content

Zeitschrift

Journal of Automated Reasoning

Journal of Automated Reasoning 7/2020

Ausgabe 7/2020

Special Issue: Selected Extended Papers from IJCAR 2018 / Guest Editors: Didier Galmiche, Stephan Schulz and Roberto Sebastiani & Special Issue: Selected and Extended Papers from TACAS 2018 / Guest Editors: Dirk Beyer and Marieke Huisman

Inhaltsverzeichnis ( 16 Artikel )

26.05.2020 | Ausgabe 7/2020 Open Access

Preface: Special Issue of Selected Extended Papers from IJCAR 2018

Didier Galmiche, Stephan Schulz, Roberto Sebastiani

17.06.2020 | Ausgabe 7/2020

Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover

Anders Schlichtkrull, Jasmin Blanchette, Dmitriy Traytel, Uwe Waldmann

24.06.2020 | Ausgabe 7/2020

Constructive Decision via Redundancy-Free Proof-Search

Dominique Larchey-Wendling

22.05.2020 | Ausgabe 7/2020 Open Access

From QBFs to MALL and Back via Focussing

Anupam Das

31.07.2020 | Ausgabe 7/2020 Open Access

Simulating Strong Practical Proof Systems with Extended Resolution

Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule, Armin Biere

06.06.2020 | Ausgabe 7/2020

Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics

Marcelo Finger, Sandro Preto

06.06.2020 | Ausgabe 7/2020 Open Access

Proof-Producing Synthesis of CakeML from Monadic HOL Functions

Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan

27.06.2020 | Ausgabe 7/2020

Parameterized Model Checking on the TSO Weak Memory Model

Sylvain Conchon, David Declerck, Fatiha Zaïdi

24.09.2020 | Ausgabe 7/2020 Open Access

Selected and Extended Papers from TACAS 2018: Preface

Dirk Beyer, Marieke Huisman

29.08.2020 | Ausgabe 7/2020

Synthesizing Precise and Useful Commutativity Conditions

Kshitij Bansal, Eric Koskinen, Omer Tripp

21.07.2020 | Ausgabe 7/2020

Chain Reduction for Binary and Zero-Suppressed Decision Diagrams

Randal E. Bryant

01.08.2020 | Ausgabe 7/2020

ICE-Based Refinement Type Discovery for Higher-Order Functional Programs

Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato

14.07.2020 | Ausgabe 7/2020 Open Access

Fine-Grained Complexity of Safety Verification

Peter Chini, Roland Meyer, Prakash Saivasan

13.08.2020 | Ausgabe 7/2020 Open Access

Natural Projection as Partial Model Checking

Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David Basin, Chiara Bodei

28.07.2020 | Ausgabe 7/2020 Open Access

Multi-cost Bounded Tradeoff Analysis in MDP

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

13.07.2020 | Ausgabe 7/2020 Open Access

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines

Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park

Aktuelle Ausgaben

Premium Partner

    Bildnachweise