LICS Bibliography

Appeared in Volume 7/1, February 1994

The online bibliography for the Annual IEEE Symp. on Logic in Computer Science has now been updated to include all of the papers published in the proceedings of the Eighth meeting, which took place in June 1993. The bibliography contains abstracts for all of the papers from the 1993 meeting.

The bibliography, which is in BibTeX format, is available via anonymous FTP and mail server from:
ftp://theory.lcs.mit.edu/pub/meyer/lics.bib

To retrieve the file via mail server, send a message to the address archive-server@theory.lcs.mit.edu with the following line in the body: send meyer lics.bib

An index of other available files can be retrieved with the command: send meyer Index

More information on the archive-server can be obtained by sending a message with only the word "help" in the body.

David M. Jones
MIT Lab for Computer Science
Secretary to Albert R. Meyer
Email: dmjones@theory.lcs.mit.edu