Skip to content Skip to footer

ACM Transactions on Computational Logic : TOCL

ISSNs: 1529-3785, 1557-945X

Additional searchable ISSN (electronic): 1529-3785

Association for Computing Machinery (ACM), United States of America

Scopus rating (2023): CiteScore 2.3 SJR 0.876 SNIP 1.231

Journal

Titles
  • ACM Transactions on Computational Logic : TOCL(2000 → …)
  • ACM transactions on computational logic(2000 → …)
Additional searchable titlesACM Trans. Comput. Log., ACM Trans. Comput. Logic, Association for Computing Machinery transactions on computational logic, Computational logic, Transactions on computational logic, TOCL
ISSNs1529-3785, 1557-945X
Additional searchable ISSN (electronic)1529-3785
PublisherAssociation for Computing Machinery (ACM)
Country/TerritoryUnited States of America
ZDB-ID2021692-0
ZDB-ID2025647-4

Keywords

ASJC Scopus subject areas

Library keywords

Related content

On Composing Finite Forests with Modal Logics

Bednarczyk, B., Demri, S., Fervari, R. & Mansutti, A., 3 Apr 2023, In: ACM transactions on computational logic. 24, 2, 46 p., 3569954.

Research output: Contribution to journal › Research article › Contributed › peer-review

On Monotonic Determinacy and Rewritability for Recursive Queries and Views

Benedikt, M., Kikot, S., Ostropolski-Nalewaja, P. & Romero, M., 17 Mar 2023, In: ACM Transactions on Computational Logic : TOCL. 24, 2, 62 p., 3572836.

Research output: Contribution to journal › Research article › Contributed › peer-review

Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation

Bodirsky, M., Mamino, M. & Viola, C., 1 Jan 2022, In: ACM transactions on computational logic. 23, 1, p. 7:1-7:35 35 p., 1.

Research output: Contribution to journal › Research article › Contributed › peer-review

Display to Labeled Proofs and Back Again for Tense Logics

Ciabattoni, A., Lyon, T., Ramanayake, R. & Tiu, A., Jul 2021, In: ACM transactions on computational logic. 22, 3, 31 p., 3460492.

Research output: Contribution to journal › Research article › Contributed › peer-review

Metric Temporal Description Logics with Interval-Rigid Names

Baader, F., Borgwardt, S., Koopmann, P., Ozaki, A. & Thost, V., 2020, In: ACM transactions on computational logic. 21, 4, 46 p., 30.

Research output: Contribution to journal › Research article › Contributed › peer-review

View all research output (9)