Journal of Logic and Algebraic Methods in Programming, Volume 90

Volume 90, August 2017

Special Issue article - Places 2016 Virtual special issue article- RAMiCS 2015 Virtual special issue article- NWPT 2015
a service of Schloss Dagstuhl - Leibniz Center for Informatics