Skip to main content
main-content

Zeitschrift

Journal of Automated Reasoning 8/2021
Journal of Automated Reasoning

Ausgabe 8/2021

share
TEILEN
insite
SUCHEN

Inhaltsverzeichnis (6 Artikel)

Open Access 09.09.2021

Handling Transitive Relations in First-Order Automated Reasoning
Koen Claessen, Ann Lillieström

07.09.2021

An Automatically Verified Prototype of the Tokeneer ID Station Specification
Maximiliano Cristiá, Gianfranco Rossi

30.07.2021

Human-Centered Automated Proof Search
Wilfried Sieg, Farzaneh Derakhshan

Open Access 12.08.2021

Derivational Complexity and Context-Sensitive Rewriting
Salvador Lucas

12.05.2021

Formalization of Ring Theory in PVS
Isomorphism Theorems, Principal, Prime and Maximal Ideals, Chinese Remainder Theorem
Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón

Open Access 03.08.2021

Experiences from Exporting Major Proof Assistant Libraries
Michael Kohlhase, Florian Rabe

Aktuelle Ausgaben

Premium Partner