home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / archives / 3220 < prev    next >
Encoding:
Internet Message Format  |  1992-09-01  |  1.8 KB
  1. Path: sparky!uunet!cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.INS.CWRU.Edu!agate!agate!usenet
  2. From: dmjones@THEORY.LCS.MIT.EDU ("David M. Jones")
  3. Newsgroups: comp.archives
  4. Subject: [comp.theory] Online LICS bibliography
  5. Followup-To: comp.theory
  6. Date: 2 Sep 1992 04:34:42 GMT
  7. Organization: University of California, Berkeley
  8. Lines: 31
  9. Approved: adam@soda.berkeley.edu
  10. Distribution: world
  11. Message-ID: <181g92INNsva@agate.berkeley.edu>
  12. References: <199208312052.AA18769@gyrfalcon.lcs.mit.edu>
  13. Reply-To: Theory-A - TheoryNet World-Wide Events <THEORY-A%NDSUVM1.BITNET@cmsa.Berkeley.EDU>,
  14. NNTP-Posting-Host: soda.berkeley.edu
  15. X-Original-Newsgroups: comp.theory
  16. X-Original-Date: 1 Sep 92 01:01:16 GMT
  17.  
  18. Archive-name: auto/comp.theory/Online-LICS-bibliography
  19.  
  20. The online bibliography for the Annual IEEE Symposium on Logic in Computer
  21. Science has now been updated to include all of the papers published in the
  22. proceedings of the Seventh meeting, which took place in June 1992.  The
  23. bibliography contains abstracts for all of the papers from the 1992
  24. meeting.
  25.  
  26. The bibliography, which is in BibTeX format, is available via anonymous ftp
  27. and mail server from theory.lcs.mit.edu [18.52.0.92] in the file
  28. pub/meyer/lics.bib.
  29.  
  30. To retrieve the file via ftp, connect to theory using "anonymous" as the
  31. login name and "guest" as the password.
  32.  
  33. To retrieve the file via mail server, send a message to the address
  34. archive-server@theory.lcs.mit.edu with the following line in the body:
  35.  
  36.         send meyer lics.bib
  37.  
  38. An index of other available files can be retrieved with the command
  39.  
  40.         send meyer Index
  41.  
  42. More information on the archive-server can be obtained by sending a message
  43. with only the word "help" in the body.
  44.  
  45. David M. Jones
  46. MIT Lab for Computer Science
  47. Administrator, {types,logic,concurrency}@theory.lcs.mit.edu
  48.  
  49.