[Prev][Next][Index][Thread]
Online bibliography for TACS'91
-
To: tacs-announcement-list, lics-announcement
-
Subject: Online bibliography for TACS'91
-
From: dmjones@theory.lcs.mit.edu (David M. Jones)
-
Date: Tue, 13 Aug 91 21:23:45 EDT
-
Cc: types, logic, concurrency
-
Cc: Arpanet-Bboards@mc.lcs.mit.edu, categories-request@mta.bitnet, cmu-theorynet@theory.cs.cmu.edu, continuations@theory.lcs.mit.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
A bibliography for the upcoming International Conference on Theoretical
Aspects of Computer Software (TACS'91) is now available via anonymous
ftp and mail server from theory.lcs.mit.edu (18.52.0.92). The file is
in BibTeX format and is in the file ftp/pub/meyer/tacs91.bib. Also
available are tacs91.tex and tacs91.ps, which are LaTeX and PostScript
versions of the file for those who prefer that format.
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 tacs91.bib
An index of other files can be retrieved with the command
send meyer Index
More information on the archive-server can be obtained by sending a
message to the archive-server with only the word "help" in the body.
David M. Jones
Secretary to Professor Albert R. Meyer