ACM Transactions on Computational Logic (TOCL)

Bibliographic Details
ISSN:1557-945X (E-ISSN)
1529-3785 (P-ISSN)
Publisher:Association for Computing Machinery
Entitled Authors:Corresponding author
Subject:Computer Science
Mathematics
Business Model:hybrid OA
License:CC BY
Homepage:https://dl.acm.org/loi/tocl
Info Links:MPDL Information
Provider Information