Journal of Logic and Algebraic Methods in Programming, Volume 87

Volume 87, February 2017

Research article Editorial Virtual special issue - NWPT 2015 Virtual special issue - WWV 2015 Virtual special issue - Trends 2014 & 2015
maintained by Schloss Dagstuhl LZI at University of Trier