Journal of Logical and Algebraic Methods in Programming

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.

To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.

To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.