Nelson H. F. Beebe <beebe @ math . utah . edu> (email mangled to prevent spamming)
Center for Scientific Computing University of Utah Department of Mathematics, 322 INSCC 155 S 1400 E RM 233 Salt Lake City, UT 84112-0090 USA
Abstract:
This is a COMPLETE BibTeX bibliography for the journal ACM Transactions on Computational Logic (CODEN ????, ISSN 1529-3785), for 2000–date.
Keywords:
bibliography, BibTeX, ACM Transactions on Computational Logic
Author Comments:
Publication began with volume 1, number 1, in July 2000. The journal appears quarterly. The two journals have a joint World-Wide Web site at: http://www.acm.org/pubs/tocl Tables-of-contents of all issues are available at: http://www.acm.org/pubs/contents/journals/tocl/ Qualified subscribers can retrieve the full text of recent articles in PDF form. 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.
