Last update: Sun Oct 15 02:15:26 MDT 2017
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: focs1980.bib
Version: 2.06
Date: 14 October 2017
Time: 08:48:20 MDT
Checksum: 12215 2895 10807 104884 [CRC-16 words lines bytes]
This is a bibliography of publications in the annual IEEE symposia on the Foundations of Computer Science (CODEN ASFPDV, ISSN 0272-5428) for the decade 1980--1989.
At version 2.06, the year coverage looked like this:
1980 ( 1) 1984 ( 61) 1988 ( 59)
1981 ( 1) 1985 ( 1) 1989 ( 99)
1982 ( 2) 1986 ( 1)
1983 ( 1) 1987 ( 2)
InProceedings: 218 Proceedings: 10
Total entries: 228
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.