It looks like you're using Internet Explorer 11 or older. This website works best with modern browsers such as the latest versions of Chrome, Firefox, Safari, and Edge. If you continue with this browser, you may see unexpected results.
One of the oldest & most respected journals in the field published by Oxford University Press for the British Computer Society. Our subscription has a moving wall of one year; request current articles via Interlibrary Loan.
Publishes research on "the mathematical and formal aspects of computer science and nonnumerical computing." Current issues available in print; online subscription has a moving wall of one year.