ACM Transactions on Computational Logic (TOCL) is a peer-reviewed academic journal published by the Association for Computing Machinery (ACM). It focuses on the area of computational logic, which encompasses the application of logic to computer science and related fields.
Articles by others on the same topic
There are currently no matching articles.