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 5/2021

Content (3 Articles)

Open Access

Schematic Refutations of Formula Schemata

David M. Cerna, Alexander Leitsch, Anela Lolic

Craig Interpolation with Clausal First-Order Tableaux

Christoph Wernhard

Open Access

Certified Quantum Computation in Isabelle/HOL

Anthony Bordg, Hanna Lachnitt, Yijun He

Apr 21
Issue: 4/2021
Aug 21
Issue: 6/2021

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits