Volumes and issues

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

Special Issue of Selected Extended Papers of IJCAR 2020

Special Issue: Selected Extended Papers of CADE 2019

Special Issue: Selected Extended Papers from IJCAR 2018 / Guest Editors: Didier Galmiche, Stephan Schulz and Roberto Sebastiani & Special Issue: Selected and Extended Papers from TACAS 2018 / Guest Editors: Dirk Beyer and Marieke Huisman

Special Issue: Selected Extended Papers from ITP 2018

Special Issue: Automated Reasoning Systems / Guest Editors: Armin Biere, Cesare Tinelli, Christoph Weidenbach & Special Issue: Selected Extended Papers of CADE 2017 / Guest Editor: Leonardo de Moura

Special Issue: Linearity / Guest Editors: Iliano Cervesato, Maribel Fernandez & Special Issue: Selected Extended Papers of NFM 2017 / Guest Editors: Clark Barrett, Temesghen Kahsai

Special Issue: Homotopy Type Theory and Univalent Foundations / Guest Editors: Peter Lefanu Lumsdaine, Nicolas Tabareau & Special Issue: Selected Extended Papers of ITP 2017 / Guest Editors: Mauricio Ayala-Rincón, César Muñoz

Special Issue: Selected Extended Papers of ITP 2015

Special Issue: Selected Extended Papers of ITP 2016

Special Issue: Milestones in Interactive Theorem Proving

Special Issue: Selected Extended Papers of VSTTE 2016

Special Issue: Selected Extended Papers of NFM 2016

Special Issue: Automatic Resource Bound Analysis

Special Issue: Selected Extended Papers of CADE 2015

Special Issue: Selected Extended Papers of IJCAR 2014

Special Issue: Interpolation

Special Issue of Selected Extended Papers of ITP 2014

Special Issue: 40 Years of Mizar and Beyond

Special Issue of Selected Extended Papers of CADE-23

Special Issue: Formal Mathematics for Mathematicians

Special Issue: The POPLmark Challenge

Special Issue: Theory and Applications of Abstraction, Substitution and Naming

Special Issue on Security and Rewriting

Special Issue on Selected Papers from the 5th International Joint Conference on Automated Reasoning

Special Issue of Selected Extended Papers of CADE-22 / Guest Edited by Renate A. Schmidt and Brigitte Pientka

Special Issue: Computer Security: Foundations and Automated Reasoning / Guest Edited by Lujo Bauer, Sandro Etalle, Jerry den Hartog and Luca Viganò

Special Issue: Tests and Proofs / Guest Edited by Bernhard Beckert and Reiner Hähnle

Special Issue: Selected Papers from the 4th International Joint Conference on Automated Reasoning / Guest Edited by Alessandro Armando, Peter Baumgartner and Gilles Dowek

Special Issue: Uncertain Reasoning / Guest Edited by Yang Xiang and Kevin Grant

Special Issue: Programming Languages and Mechanized Mathematics Systems / Guest Edited by Jacques Carette, Makarius Wenzel and Freek Wiedijk

Special Issue: Computer Assisted Reasoning: A Festschrift for Michael J. C. Gordon / Guest Edited by Richard Boulton, Joe Hurd and Konrad Slind

Special Issue: Operating System Verification / Guest Edited by Gerwin Klein, Ralf Huuck and Bastian Schlich

Special Issue: Formal Modeling and Verification of Critical Systems

Selected Papers from the 3rd International Joint Conference on Automated Reasoning

Special Issue on Reasoning in Description Logics

Special Issue on User Interfaces in Theorem Proving

Special Issue on Automated Reasoning with Analytic Tableaux

Third Special Issue on Techniques for Automated Termination Proofs

Empirically Successful Automated Reasoning: Applications Issue

Empirically Successful Automated Reasoning: Systems Issue

Techniques for Automated Termination Proofs

First-Order Theorem Proving