ACM Transactions on Computational Logic
ACM Digital LibraryCurrent Access
| Type | Serial |
|---|---|
| Publisher | Association for Computing Machinery |
| Subject | Computers - Computer Engineering |
| ISSN | 1529-3785Print 1557-945XElectronic |
| Access | 2000 - Current |
| URL | https://dl.acm.org/journal/tocl |