Journal of Automated Reasoning

ISSN: 0168-7433 (Print) 1573-0670 (Online)

All Volumes & Issues

  • Volumes
  • December 2019, Issue 4

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

  • October 2019, Issue 3
  • August 2019, Issue 2

    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

  • June 2019, Issue 1