Transactions on Computational Logic
acm.orgThis addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.