ISSN: 1469-3062 1752-7457
Previous Journal: Journal of Logic and Computation
Next Journal: ACM Transactions on Computation Theory