The Journal of Logic Programming
Redirect to:
Journal of Logical and Algebraic Methods in Programming
From a former name
: This is a redirect from a former name or working title of the target topic to the new name that resulted from a name change.