Volume 66, Issue 4

Search all Journal of Automated Reasoning articles

November 2022

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

Issue Editor:

Maria Paola Bonacina

23 articles in this issue

Six Decades of Automated Reasoning: Papers in Memory of Larry Wos
Maria Paola Bonacina
EditorialNotes 18 July 2022 Pages: 437 - 438
Part of 1 collection:

Six Decades of Automated Reasoning: Papers in Memory of Larry Wos
Larry Wos: Visions of Automated Reasoning
Michael Beeson
Maria Paola Bonacina
Geoff Sutcliffe
OriginalPaper 28 February 2022 Pages: 439 - 461
Part of 1 collection:

Six Decades of Automated Reasoning: Papers in Memory of Larry Wos
Set of Support, Demodulation, Paramodulation: A Historical Perspective
Maria Paola Bonacina
OriginalPaper Open access 24 May 2022 Pages: 463 - 497
Part of 1 collection:

Six Decades of Automated Reasoning: Papers in Memory of Larry Wos
A Comprehensive Framework for Saturation Theorem Proving
Uwe Waldmann
Sophie Tourret
Jasmin Blanchette
OriginalPaper Open access 07 June 2022 Pages: 499 - 539
Part of 1 collection:

Six Decades of Automated Reasoning: Papers in Memory of Larry Wos
Making Higher-Order Superposition Work
Petar Vukmirović
Alexander Bentkamp
Sophie Tourret
OriginalPaper 17 January 2022 Pages: 541 - 564
Part of 1 collection:

Six Decades of Automated Reasoning: Papers in Memory of Larry Wos
A Wos Challenge Met
Robert Veroff
OriginalPaper 09 January 2022 Pages: 565 - 574
Part of 1 collection:

Six Decades of Automated Reasoning: Papers in Memory of Larry Wos
A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column
Sophie Tourret
Christoph Weidenbach
OriginalPaper Open access 01 February 2022 Pages: 575 - 584
Part of 1 collection:

Six Decades of Automated Reasoning: Papers in Memory of Larry Wos
A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks with Applications to Probability Theory
Andreas Lochbihler
OriginalPaper 15 January 2022 Pages: 585 - 610
Part of 1 collection:

Selected Extended Papers of ITP 2021
A Formalization of Dedekind Domains and Class Groups of Global Fields
Anne Baanen
Sander R. Dahmen
Filippo A. E. Nuccio Mortarino Majno di Capriglio
OriginalPaper Open access 08 September 2022 Pages: 611 - 637
Part of 1 collection:

Selected Extended Papers of ITP 2021
Local is Best: Efficient Reductions to Modal Logic K
Fabio Papacchini
Cláudia Nalon
Clare Dixon
OriginalPaper Open access 23 May 2022 Pages: 639 - 666
Part of 1 collection:

Selected Extended Papers of CADE 2021
Tuple Interpretations for Termination of Term Rewriting
Akihisa Yamada
OriginalPaper 25 July 2022 Pages: 667 - 688
Part of 1 collection:

Selected Extended Papers of CADE 2021
Theorem Proving as Constraint Solving with Coherent Logic
Predrag Janičić
Julien Narboux
OriginalPaper 20 May 2022 Pages: 689 - 746
Verifying Whiley Programs with Boogie
David J. Pearce
Mark Utting
Lindsay Groves
OriginalPaper Open access 20 March 2022 Pages: 747 - 803
Fast Left Kan Extensions Using the Chase
Joshua Meyers
David I. Spivak
Ryan Wisnesky
OriginalPaper 06 July 2022 Pages: 805 - 844
Faster Linear Unification Algorithm
Dennis de Champeaux
OriginalPaper 12 August 2022 Pages: 845 - 860
Pardinus: A Temporal Relational Model Finder
Nuno Macedo
Julien Brunel
Alcino Cunha
OriginalPaper 12 September 2022 Pages: 861 - 904
From Specification to Testing: Semantics Engineering for Lua 5.2
Mallku Soldevila
Beta Ziliani
Bruno Silvestre
OriginalPaper 11 August 2022 Pages: 905 - 952
Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL
Richard Schmoetten
Jake E. Palmer
Jacques D. Fleuriot
OriginalPaper Open access 01 October 2022 Pages: 953 - 988
A Formalization of SQL with Nulls
Wilmer Ricciotti
James Cheney
OriginalPaper Open access 27 July 2022 Pages: 989 - 1030
Formalization of the Computational Theory of a Turing Complete Functional Language Model
Thiago Mendonça Ferreira Ramos
Ariane Alves Almeida
Mauricio Ayala-Rincón
OriginalPaper 30 January 2022 Pages: 1031 - 1063
A Formalization of the Smith Normal Form in Higher-Order Logic
Jose Divasón
René Thiemann
OriginalPaper Open access 26 May 2022 Pages: 1065 - 1095
Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic
Jose Divasón
René Thiemann
Correction Open access 06 August 2022 Pages: 1097 - 1097
Correction to: Local is Best: Efficient Reductions to Modal Logic K
Fabio Papacchini
Cláudia Nalon
Clare Dixon
Correction Open access 14 September 2022 Pages: 1099 - 1099

Volume 66, Issue 4

Search

Navigation