Journal of Formalized Reasoning, Volume 8

Volume 8, Number 1, 2015

Articles

Volume 8, Number 2, 2015

Ph.D. Thesis
maintained by Schloss Dagstuhl LZI at University of Trier