Skip to main content

Zeitschrift

Journal of Automated Reasoning 5/2021
Journal of Automated Reasoning

Ausgabe 5/2021

share
TEILEN
insite
SUCHEN

Inhaltsverzeichnis (3 Artikel)

Open Access 19.11.2020

Schematic Refutations of Formula Schemata
David M. Cerna, Alexander Leitsch, Anela Lolic

27.05.2021

Craig Interpolation with Clausal First-Order Tableaux
Christoph Wernhard

Open Access 24.12.2020

Certified Quantum Computation in Isabelle/HOL
Anthony Bordg, Hanna Lachnitt, Yijun He

Aktuelle Ausgaben

Premium Partner