Journal of Automated Reasoning, Volume 63

Volume 63, Number 1, June 2019

Volume 63, Number 2, August 2019

Special Issue: Homotopy Type Theory and Univalent Foundations Selected Extended Papers of ITP 2017

Volume 63, Number 3, October 2019

Volume 63, Number 4, December 2019

Special Issue: Linearity
Special Issue: Selected Extended Papers of NFM 2017
a service of Schloss Dagstuhl - Leibniz Center for Informatics