Searching

• My search page.

PhD stuff

• PhD Thesis Structure and Content
• Advice on Research and Writing
• Hints on how to do research
• Jack Lynch's Resources for Writers and Writing Instructors and Guide to Grammar and Style.

Journals

• Elsevier Science
  • Information Processing Letters (IPL)
  • Theoretical Computer Science (TCS)
  • Science of Computer Programming (SCP)
• Kluwer Academic
  • Higher-Order and Symbolic Computation (HOSC)
• Springer
  • Lecture Notes in Computer Science (LNCS)
  • Acta Informatica
  • New Generation Computing (NGC)
• Cambridge University Press
  • Journal of Functional Programming (JFP)
• SIAM
  • Journal on Computing (JC)
• ACM
  • Journal of the ACM (JACM)
  • Transactions on Programming Langugages and Systems (TOPLAS)
• Academic Press
  • Information and Computation (IC)
  • Journal of Computer and System Sciences (JCSS)
  • Journal on Symbolic Computation (JSC)