ISSN 1557-945X (Online) | ACM transactions on computational logic

Title proper: ACM transactions on computational logic.

Other variant title: Association for Computing Machinery transactions on computational logic

Other variant title: Computational logic

Other variant title: Transactions on computational logic

Other variant title: TOCL

Country: United States

Medium: Online

Status	Publisher	Keeper	From	To	Updated
Preserved	Association for Computing Machinery	CLOCKSS Archive	2000	2023	15/04/2024
1 to 24
Preserved	Association for Computing Machinery	Portico	2000	2023	18/04/2024
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-3)

Status	Publisher	Keeper	From	To	Updated
Preserved	Association for Computing Machinery	CLOCKSS Archive	2000	2023	15/04/2024
1 to 24
Preserved	Association for Computing Machinery	Portico	2000	2023	18/04/2024
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-3)

Last modification date: 13/03/2024

Type of record: Confirmed

ISSN Center responsible of the record: ISSN National Centre for the USA

1557-945X