On-line Computing Theory Information

• Information on Alan Turing ...
  • The Alan Turing Home Page
  • Time 100's Most Important People of the 20th Century - Alan Turing
  • The MacTutor History of Mathematics (MTHM) archive entries
• Information on Alonzo Church ...
  • The MacTutor History of Mathematics (MTHM) archive entries
  • The Church Project at Boston University - short biography
• Information on other important people from the MTHM archive ...
  • S. C. Kleene
  • K. Godel
  • B. Russell
• Entries from the Stanford Encyclopedia of Philosophy
  • Turing Machine
  • Church-Turing Thesis
• Good applet examples for Conway's Game of Life

• Usenet: comp.theory   Theoretical Computer Science
• Usenet: comp.theory.cell-automata   Discussion of all aspects of cellular automata
• Usenet: comp.theory.dynamic-sys   Ergodic Theory and Dynamical Systems
• Usenet: comp.theory.info-retrieval   Information Retrieval topics (moderated)
• Usenet: comp.theory.self-org-sys   Topics related to self-organization systems

Repositories / Archives

• comp.theory FAQ
• ACM Symposium on Theory of Computing (STOC) Bibliography, 1969-1997.

Demos / Tools

•   Java Formal Languages & Automata Package (see HTML Help)
• CYK Algorithm presentation  (65K PDF file)

Research Groups, Journals

• Theory of Computation (TOC) Group of the MIT Laboratory for Computer Science (LCS)
• Center for Discrete Mathematics and Theoretical Computer Science (DIMACS)
• European Association for Theoretical Computer Science (EATCS)
• Institute for Theoretical Computer Science (ETH@Zurich)

• ACM Special Interest Group on Algorithms and Computation Theory (SIGACT)
• Chicago Journal of Theoretical Computer Science (CJTCS)
• Computational Complexity (CC)
• Discrete Mathematics & Theoretical Computer Science (DMTCS)
• Electronic Colloquium on Computational Complexity (ECCC)
• Electronic Notes in Theoretical Computer Science (ENTCS)
• Formal Aspects of Computing (FAC)
• Information and Computation (I&C)
• Mathematical Structures in Computer Science (MSCS)
• Theoretical Computer Science (TCS)
• Theory of Computing Systems (TOCS)

Books / References

• Elements of the Theory of Computation, 2/e Harry R. Lewis and Christos H. Papadimitriou, 1998. Prentice Hall, Upper Saddle River, New Jersey. ISBN 0-13-262478-8

• Introduction to Languages and the Theory of Computation, 2/e John C. Martin, 1997. McGraw-Hill, Inc., New York. ISBN 0-07-040845-9

• Introduction to Computer Theory, 2/e Daniel I. A. Cohen, 1997. John Wiley & Sons, New York. ISBN 0-471-13772-3

• The Theory of Computation Bernard M.E. Moret, 1998. Addison-Wesley, Reading, Massachusetts. ISBN 0-201-25828-5

• Models of Computation: Exploring the Power of Computing John E. Savage, 1998. Addison-Wesley, Reading, Massachusetts. ISBN 0-201-89539-0

• Languages and Machines: An Introduction to the Theory of Computer Science, 2/e Thomas A. Sudkamp, 1997. Addison-Wesley, Reading, Massachusetts. ISBN 0-201-82136-2

• Introduction to Automata Theory, Languages, and Computation John E Hopcroft and Jeffrey D. Ullman, 1979. Addison-Wesley, Reading, Massachusetts. ISBN 0-201-02988-X

Do you have any suggestions for more stuff to add here? Please send e-mail to Dr. J at Juliano@ecst.csuChico.edu.