Journal of Logical and Algebraic Methods in Programming - Elsevier - ISSN 2352-2208

Template for the Elsevier journal Journal of Logical and Algebraic Methods in Programming (ISSN 2352-2208). Formerly known as The Journal of Logic and Algebraic Programming. http://www.sciencedirect.com/science/journal/23522208