Some features are unavailable

Your browser does not support JavaScript, or it is disabled.

ISSN Record 1557-945X

Identifiers

ISSN:: 1557-945X

ISSN-L:: 1529-3785

Titles

Title proper:: ACM transactions on computational logic.

Title variants:: Association for Computing Machinery transactions on computational logic

Title variants:: Computational logic

Title variants:: Transactions on computational logic

Title variants:: TOCL

Publication

Medium:: Online

Other media:: Print

Issuing body:: Association for Computing Machinery,

Normalized publisher:: Association for Computing Machinery [Wikidata: Q127992]

Normalized publisher (brand):: [Wikidata: ]

Country:: UNITED STATES

Online

Search in

Archival status

This resource has been partly archived by the keepers network.

Archival Status
Publisher	Keeper		Status	Last updated	Access
on 1
Association for Computing Machinery	Portico		Preserved	2026-02-12
Preserved : 2000: 1(1-2), 2001: 2(1-4), 2002: 3(1-4), 2003: 4(1-4), 2004: 5(1-4), 2005: 6(1-4), 2006: 7(1-4), 2007: 8(1-4), 2007/2008: 9(1-4), 2009: 10(1-4), 2009/2010: 11(1-4), 2010/2011: 12(1-4), 2012: 13(1-4), 2013: 14(1-4), 2014: 15(1-4), 2015: 16(1-4), 2015/2016: 17(1-4), 2017: 18(1-4), 2018: 19(1-4), 2018/2019: 20(1-2, 4), 2019/2020: 21(1-3), 2020/2021: 22(1-4), 2021/2022: 23(1-4), 2023: 24(1-4), 2024: 25(1-4), 2024/2025: 26(1-3)
Association for Computing Machinery	CLOCKSS Archive		Preserved	2026-02-09
1 to 26

Record

Last modified:: 2024/09/20

ISSN Center responsible for the record:: United States

Notes

1:: Description based on web page information screen (viewed May 8, 2001).

2:: Volume 24, number 4 ([October], 2023) (ACM Digital Library, viewed March 7, 2024).