Skip to main content
Register
Springer Professional
SEARCH
Menu 1 2 3 4
Top

Journal

Journal of Automated Reasoning 4/2022
Journal of Automated Reasoning

Issue 4/2022

Special issue on Six Decades of Automated Reasoning: Papers in Memory of Larry Wos (437-584)

share
SHARE
insite
SEARCH

Table of Contents (23 Articles)

18-07-2022

Six Decades of Automated Reasoning: Papers in Memory of Larry Wos
Foreword
Maria Paola Bonacina

28-02-2022

Larry Wos: Visions of Automated Reasoning
Michael Beeson, Maria Paola Bonacina, Michael Kinyon, Geoff Sutcliffe

Open Access 24-05-2022

Set of Support, Demodulation, Paramodulation: A Historical Perspective
Maria Paola Bonacina
Download PDF-version View full text

Open Access 07-06-2022

A Comprehensive Framework for Saturation Theorem Proving
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
Download PDF-version View full text

17-01-2022

Making Higher-Order Superposition Work
Petar Vukmirović, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret

09-01-2022

A Wos Challenge Met
Robert Veroff

Open Access 01-02-2022

A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column
Sophie Tourret, Christoph Weidenbach
Download PDF-version View full text

15-01-2022

A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks with Applications to Probability Theory
Andreas Lochbihler

Open Access 08-09-2022

A Formalization of Dedekind Domains and Class Groups of Global Fields
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
Download PDF-version View full text

Open Access 23-05-2022

Local is Best: Efficient Reductions to Modal Logic K
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Download PDF-version View full text

25-07-2022

Tuple Interpretations for Termination of Term Rewriting
Akihisa Yamada

20-05-2022

Theorem Proving as Constraint Solving with Coherent Logic
Predrag Janičić, Julien Narboux

Open Access 20-03-2022

Verifying Whiley Programs with Boogie
David J. Pearce, Mark Utting, Lindsay Groves
Download PDF-version View full text

06-07-2022

Fast Left Kan Extensions Using the Chase
Joshua Meyers, David I. Spivak, Ryan Wisnesky

12-08-2022

Faster Linear Unification Algorithm
Dennis de Champeaux

12-09-2022

Pardinus: A Temporal Relational Model Finder
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha

11-08-2022

From Specification to Testing: Semantics Engineering for Lua 5.2
Mallku Soldevila, Beta Ziliani, Bruno Silvestre

Open Access 01-10-2022

Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
Download PDF-version View full text

Open Access 27-07-2022

A Formalization of SQL with Nulls
Wilmer Ricciotti, James Cheney
Download PDF-version View full text

30-01-2022

Formalization of the Computational Theory of a Turing Complete Functional Language Model
Thiago Mendonça Ferreira Ramos, Ariane Alves Almeida, Mauricio Ayala-Rincón

Open Access 26-05-2022

A Formalization of the Smith Normal Form in Higher-Order Logic
Jose Divasón, René Thiemann
Download PDF-version View full text

Open Access 06-08-2022 | Correction

Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic
Jose Divasón, René Thiemann
Download PDF-version View full text

Open Access 14-09-2022 | Correction

Correction to: Local is Best: Efficient Reductions to Modal Logic K
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Download PDF-version View full text

Current Publications

Issue 1/2023

Issue 4/2022

Issue 3/2022

Issue 2/2022

Issue 1/2022

Issue 8/2021

Issue 7/2021

Issue 6/2021

Issue 5/2021

Issue 4/2021

Premium Partner

Neuer Inhalt
    Image Credits