List of Research Groups in Logic and Theoretical Computer Science World-wide
Here: Bibliogrpahies
- Document Server at Goetting Staten and University Library (Download
of open access articles)
- MathSciNet (article
search, by American Mathematical Society)
- Zentralblatt Math
- Search for articles, key websites, books, the latest industry news,
job announcements, ejournals, eprints, technical reports
(Uses information from many publishers).
- Abstract Service for Mathematical Logic
- The Factasia Omniography (Links and remarks on the work of many important
philosophers and logicians)
- Bibliography
of Mathematical Logic and Related Fields ("Omega Bibliography")
(under construction, case sensitive search only, click on
"Recherche")
- Hypatia Electronic library
at Queen Mary and Westfield College, London
- JSTOR (Journal Storage, requires
subscription by your institution)
- xxx math archive
(see as well under Los Alamos;
contains preprints in mathematics, including the former
Logic Eprints with
200 articles)
- Bibliography
at MIT (Contains content of many journals completely!)
- Computer
Science Bibliography at the University of Trier
- Computer
Science Bibliography, (Arizona, USA)
- LICS Bibliography
- Information and
Computation (Academic Press)
Bibliography
Database for Computability Theory
- Collection of
papers of the Kurt Gödel Society
- Collection of preprints at Imperial College
( old link via ftp)
- Big Collection of Computer Science Bibliographies
- Finite Model Theory-Bibliographie
- Bibliography on Linear Logic
- Linear Logic, Bibliographies, SRI
- Pointers to Linear Logic Papers, SRI
- The Hypertext Bibliography Project
- ORA Bibliography of Automated Deduction
- A Collection of Computer Science Bibliographies in BibTeX Format
- Glasgow Functional Programming Papers
- Shelah-Archive at
Rutgers University
- Hypertext Bibliography
on measures of complexity
Please mail additions and corrections to
Anton Setzer ,
.