The Collection of
Computer Science Bibliographies

Bibliography on the journal ACM Transactions on Computational Logic

[   About   |  Browse   |   Statistics   ]

Number of references:464Last update:April 14, 2017
Number of online publications:464Supported:yes
Most recent reference:April 2017 Info:Version 1.56

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Author:
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.

Browsing the bibliography

Bibliographic Statistics

Types:
article(464)
Fields:
acknowledgement(464), author(464), bibdate(464), coden(464), fjournal(464), issn(464), journal(464), journal-url(464), number(464), pages(464), title(464), volume(464), year(464), month(447), articleno(317), abstract(311), doi(302), doi-url(302), issn-l(177), keywords(106), subject(25), url(25), generalterms(15), note(4), remark(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!