Last update: Thu Oct 19 02:13:38 MDT 2023
Follow this link for documentation about the automated preparation of this index.
Follow this link for indexes of other journals.
Words that appear more than 100 times have been excluded. Words that appear in more than 25% of the entries have been excluded, provided they appeared more than 100 times.
Filename: tocl.bib
Version: 1.77
Date: 18 October 2023
Time: 11:13:51 MDT
Checksum: 42874 25239 130727 1233316 [CRC-16 words lines bytes]
This is a COMPLETE BibTeX bibliography for the journal ACM Transactions on Computational Logic (CODEN ATCLA8, ISSN 1529-3785 (print), 1557-945X (electronic)), for 2000--date.
Publication began with volume 1, number 1, in July 2000. The journal appears quarterly.
The journal has a World-Wide Web site at:
http://www.acm.org/pubs/tocl
http://tocl.acm.org
Tables-of-contents of all issues are available at:
http://www.acm.org/pubs/contents/journals/tocl/
http://portal.acm.org/browse_dl.cfm?idx=J773
https://dl.acm.org/loi/tocl
Qualified subscribers can retrieve the full text of recent articles in PDF form.
At version 1.77, the COMPLETE journal coverage looked like this:
2000 ( 12) 2008 ( 22) 2016 ( 25)
2001 ( 21) 2009 ( 36) 2017 ( 33)
2002 ( 18) 2010 ( 30) 2018 ( 31)
2003 ( 21) 2011 ( 21) 2019 ( 25)
2004 ( 23) 2012 ( 34) 2020 ( 34)
2005 ( 28) 2013 ( 34) 2021 ( 25)
2006 ( 24) 2014 ( 34) 2022 ( 27)
2007 ( 31) 2015 ( 43) 2023 ( 33)
Article: 665
Total entries: 665
The initial draft of this bibliography was derived from data at the ACM Web site.
ACM copyrights explicitly permit abstracting with credit, so article abstracts, keywords, and subject classifications have been included in this bibliography wherever available.
The bibsource keys in the bibliography entries below indicate the data sources.
URL keys in the bibliography point to World Wide Web locations of additional information about the entry.
Spelling has been verified with the UNIX spell and GNU ispell programs using the exception dictionary stored in the companion file with extension .sok.
BibTeX citation tags are uniformly chosen as name:year:abbrev, where name is the family name of the first author or editor, year is a 4-digit number, and abbrev is a 3-letter condensation of important title words. Citation tags were automatically generated by software developed for the BibNet Project.
In this bibliography, entries are sorted in publication order, using ``bibsort -byvolume.''
The checksum field above contains a CRC-16 checksum as the first value, followed by the equivalent of the standard UNIX wc (word count) utility output of lines, words, and characters. This is produced by Robert Solovay's checksum utility.