ACM Transactions on Computational Logic (TOCL)

Venue Information

  • issn: 1529-3785 (print); 1557-945X (online)

TOCL @ ACM DL

a service of Schloss Dagstuhl - Leibniz Center for Informatics