Journal of Logic and Algebraic Methods in Programming, Volume 85

Volume 85, Number 1, Part 1, January 2016

Rewriting Logic and its Applications

Volume 85, Number 1, Part 2, January 2016

Formal Methods for Software Product Line Engineering

Volume 85, Number 2, February 2016

Volume 85, Number 3, April 2016

Interaction and Concurrency Experience

Volume 85, Number 4, June 2016

Relational and algebraic methods in computer science

Volume 85, Number 5, Part 1, August 2016

Special Issue on Automated Verification of Programs and Web Systems

Volume 85, Number 5, Part 2, August 2016

Articles dedicated to Prof. J. N. Oliveira on the occasion of his 60th birthday

Volume 85, Number 6, October 2016

NWPT 2013
maintained by Schloss Dagstuhl LZI at University of Trier