A Theory Repository On The Web: A Proposal* Suresh V e n k a t a s u b r a m a n i a n t A T & T Laboratories s u r e s h @ r e s e a r c h , a t e . corn N o v e m b e r 3, 1999 Introduction There are now n11merons sites on the web that contain useful information for theoretical compute scientists. Among the more popular sites are those maintaining bibliographies and surveys fo specific subject areas; many journals and conferences now maintain an online presence as well allowing easy access to published papers. It is now common to perform literature searches directl~ on the web, as well as on specialized databases like INSPEC. There are sites that maintain link for specific subject areas [3, 5, 7], as well as sites that maintain information about confereno announcements and deadlines [24, 7, 13]. In addition, there are paper and bibliography database like the Hypertext Bibliography Project [14], the Computing Research Repository [17], and th, Computer Science Research Paper Search Engine [191. Searching for relevant material however is still a time-consl,ming
/lp/association-for-computing-machinery/a-theory-repository-on-the-web-a-proposal-nwNU7yc1Ji