ACM transactions on computational logic.
- Publisher: Association for Computing Machinery
- Print ISSN: 1529-3785
- Electronic ISSN: 1557-945X
- OCLC Number: 43702797
- Subject: Computer logic Periodicals.
- Subject code: QA
- Publication history: Vol. 1, no. 1 (July 2000)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| Emory University (EMU) | Scholars Trust | v.6-v.14 (2005-2013) | 20351231 |
| Georgia Institute of Technology (GAT) | Scholars Trust | v.1 (2000)-v.7 (2006) | 20351231 |
| HathiTrust (HATHI) | HTDL | v.11 2010 | permanent |
| Indiana University Shared Print in Storage (IULSP) | Big Ten Academic Alliance (BTAA) Shared Print Repository | 1 (2000)-5 (2004), 7 (2006)-8 (2007) | 20360630 |
| Linda Hall Library of Science, Engineering & Technology (LHL) | Linda Hall Library of Science, Engineering & Technology | v.5:no.1-3 (Jan-Jul 2004) | |
| North Carolina State University (NRC) | Scholars Trust | v.1(2000)-v.20(2019) | 20351231 |
| Stanford Libraries Shared Print in Place (STF) | WEST, WEST Bronze | v.1(2000)-v.10(2009) | 20351231 |
| University of California, SRLF Shared Print (ZAS) | UCL Shared Print, Licensed Content | v.2-5(2001-2004)v.6:no.2-4(2005),v.7(2006)v.8:no.1-3(2007),v.9:no.2-4(2008),v.10-16(2009-2015)v.17:no.1-3(2014),v.18:no.2(2017) | 20351231 |
| University of Florida (FUG) | Florida Academic Repository (FLARE), Scholars Trust | v.1(2000)-v.9(2008) | 20351231 |
| Washington Research Library Consortium (CAO) | Scholars Trust, WRLC | v.1 (2000)-v.7 (2006) | 20351231 |
Digital Holdings
| Program | Holdings Description |
|---|---|
| CLOCKSS | v.1-v.23 (2000-2022) |