Skip to main content
main-content

Issue Archive  >  Journal of Automated Reasoning

2022 (Volume 20 | 3 Issues)
Journal of Automated Reasoning 3/2022
Aug 22
Special Issue of Selected Extended Papers of IJCAR 2020
2021 (Volume 19 | 8 Issues)
Journal of Automated Reasoning 7/2021
Oct 21
Special Issue: Selected Extended Papers of CADE 2019
2020 (Volume 18 | 8 Issues)
Journal of Automated Reasoning 7/2020
Oct 20
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
Journal of Automated Reasoning 5/2020
Jun 20
Special Issue: Selected Extended Papers from ITP 2018
Journal of Automated Reasoning 3/2020
Mar 20
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
2019 (Volume 17 | 4 Issues)
Journal of Automated Reasoning 4/2019
Dec 19
Special Issue: Linearity / Guest Editors: Iliano Cervesato, Maribel Fernandez & Special Issue: Selected Extended Papers of NFM 2017 / Guest Editors: Clark Barrett, Temesghen Kahsai
Journal of Automated Reasoning 2/2019
Aug 19
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
2019 (Volume 16 | 4 Issues)
Journal of Automated Reasoning 4/2019
Apr 19
Special Issue: Selected Extended Papers of ITP 2015
Journal of Automated Reasoning 2/2019
Feb 19
Special Issue: Selected Extended Papers of ITP 2016
2018 (Volume 15 | 1 Issues)
Journal of Automated Reasoning 1-4/2018
Jun 18
Special Issue: Milestones in Interactive Theorem Proving
2018 (Volume 14 | 4 Issues)
Journal of Automated Reasoning 3/2018
Mar 18
Special Issue: Selected Extended Papers of VSTTE 2016
Journal of Automated Reasoning 1/2018
Jan 18
Special Issue: Selected Extended Papers of NFM 2016
2017 (Volume 13 | 4 Issues)
Journal of Automated Reasoning 1/2017
Jun 17
Special Issue: Automatic Resource Bound Analysis
2017 (Volume 12 | 4 Issues)
Journal of Automated Reasoning 3/2017
Mar 17
Special Issue: Selected Extended Papers of CADE 2015
Journal of Automated Reasoning 1/2017
Jan 17
Special Issue: Selected Extended Papers of IJCAR 2014
2016 (Volume 11 | 4 Issues)
Journal of Automated Reasoning 1/2016
Jun 16
Special Issue: Interpolation
2016 (Volume 10 | 4 Issues)
Journal of Automated Reasoning 3/2016
Mar 16
Special Issue of Selected Extended Papers of ITP 2014
2015 (Volume 9 | 4 Issues)
Journal of Automated Reasoning 3/2015
Oct 15
Special Issue: 40 Years of Mizar and Beyond
2015 (Volume 8 | 4 Issues)
2014 (Volume 7 | 4 Issues)
2014 (Volume 6 | 4 Issues)
2013 (Volume 5 | 4 Issues)
Journal of Automated Reasoning 1/2013
Jun 13
Special Issue of Selected Extended Papers of CADE-23
2013 (Volume 4 | 4 Issues)
Journal of Automated Reasoning 2/2013
Feb 13
Special Issue: Formal Mathematics for Mathematicians
2012 (Volume 3 | 4 Issues)
Journal of Automated Reasoning 3/2012
Oct 12
Special Issue: The POPLmark Challenge
Journal of Automated Reasoning 2/2012
Aug 12
Special Issue: Theory and Applications of Abstraction, Substitution and Naming
2012 (Volume 2 | 4 Issues)
Journal of Automated Reasoning 2/2012
Feb 12
Special Issue on Security and Rewriting
2011 (Volume 1 | 4 Issues)
Journal of Automated Reasoning 4/2011
Dec 11
Special Issue on Selected Papers from the 5th International Joint Conference on Automated Reasoning
Journal of Automated Reasoning 2/2011
Aug 11
Special Issue of Selected Extended Papers of CADE-22 / Guest Edited by Renate A. Schmidt and Brigitte Pientka