Journal of Formalized Reasoning, Volume 9

Volume 9, Number 1, 2016

Special Issue: Twenty Years of the QED Manifesto
QED 20th anniversary

Volume 9, Number 2, 2016

Articles
maintained by Schloss Dagstuhl LZI at University of Trier