Journal of Logic and Algebraic Methods in Programming, Volume 88

Volume 88, April 2017

Research article Virtual special issue - RAMiCS 2015 Virtual special issue - 4PAD 2015 Virtual special issue - NWPT 2014
maintained by Schloss Dagstuhl LZI at University of Trier