[Prev][Next][Index][Thread]
Online LICS bibliography
-
To: types, logic, concurrency
-
Subject: Online LICS bibliography
-
From: dmjones@theory.lcs.mit.edu (David M. Jones)
-
Date: Mon, 31 Aug 92 16:52:54 EDT
-
Cc: Arpanet-Bboards@mc.lcs.mit.edu, categories-request@mta.bitnet, cmu-theorynet@theory.cs.cmu.edu, csnet-forum@sh.cs.net, proof-request@cs.chalmers.se, sml@cs.cmu.edu, theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu, theorynt@vm1.nOdAK.edu
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