Skip to main content
main-content

Issue Archive  >  Journal of Automated Reasoning

Volume 63 (4 Issues 1/2019 - 4/2019)

01-12-2019

Issue: 4/2019

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

01-10-2019

Issue: 3/2019

01-08-2019

Issue: 2/2019

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

01-06-2019

Issue: 1/2019

Volume 62 (4 Issues 1/2019 - 4/2019)

Volume 61 (1 Issue 1-4/2018 - 1-4/2018)

Volume 60 (4 Issues 1/2018 - 4/2018)

Volume 59 (4 Issues 1/2017 - 4/2017)

Volume 58 (4 Issues 1/2017 - 4/2017)

Volume 57 (4 Issues 1/2016 - 4/2016)

Volume 56 (4 Issues 1/2016 - 4/2016)

Volume 55 (4 Issues 1/2015 - 4/2015)

Volume 54 (4 Issues 1/2015 - 4/2015)

Volume 53 (4 Issues 1/2014 - 4/2014)

Volume 52 (4 Issues 1/2014 - 4/2014)

Volume 51 (4 Issues 1/2013 - 4/2013)

Volume 50 (4 Issues 1/2013 - 4/2013)

Volume 49 (4 Issues 1/2012 - 4/2012)

Volume 48 (4 Issues 1/2012 - 4/2012)

Volume 47 (4 Issues 1/2011 - 4/2011)

Volume 46 (3 Issues 1/2011 - 3-4/2011)

Volume 45 (4 Issues 1/2010 - 4/2010)

Volume 44 (3 Issues 1-2/2010 - 4/2010)