ACM Transactions on Computational Logic (TOCL)
| 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 |