Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Journal of Automated Reasoning

Issue 2/2024

Content (3 Articles)

Open Access

SAT Meets Tableaux for Linear Temporal Logic Satisfiability

Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato

Open Access

Schematic Program Proofs with Abstract Execution

Dominic Steinhöfel, Reiner Hähnle

Open Access

Sequent Calculi for Choice Logics

Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran

Mar 24
Issue: 1/2024

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits