Skip to main content
main-content
Top

Journal

Journal of Automated Reasoning 8/2021
Journal of Automated Reasoning

Issue 8/2021

share
SHARE
insite
SEARCH

Table of Contents (6 Articles)

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

Premium Partner