Uniform title | ACM transactions on computational logic (Online) |
Variant title |
Association for Computing Machinery transactions on computational logic |
Portion of title |
Computational logic |
Portion of title |
Transactions on computational logic |
Other title |
TOCL |
Frequency | Quarterly |
Access restriction | Available only to authorized users. |
Other forms | Also available in print. |
Technical details | Mode of access: World Wide Web. |
Source of description | Description based on web page information screen (viewed May 8, 2001). |
Source of description | Volume 24, number 4 ([October], 2023) (ACM Digital Library, viewed March 7, 2024). |
Issued in other form | Print version: ACM transactions on computational logic 1529-3785 |
LCCN | 2005214027 |
ISSN | 1557-945X 1529-3785 |