Online LICS bibliography

Thread View: fj.mail-lists.types

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by David M. Jones Mon, 31 Aug 1992 23:11

#27

Author: David M. Jones
Date: Mon, 31 Aug 1992 23:11

28 lines
1445 bytes

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

The bibliography, which is in BibTeX format, is available via anonymous ftp
and mail server from theory.lcs.mit.edu [18.52.0.92] in the file
pub/meyer/lics.bib.

To retrieve the file via ftp, connect to theory using "anonymous" as the
login name and "guest" as the password.

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
Administrator, {types,logic,concurrency}@theory.lcs.mit.edu

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads