Computer Laboratory > Bjarki Holm > Finite model theory resources

Finite model theory resources

Here I've gathered things that may be of interest to people studying theoretical computer science in general and finite model theory in particular.

Mailing lists and feeds

• Theory of computing blog aggregator
• TheoryNet maililng list
• FMT @ RWTH Aachen mailing list

Computational complexity

• The Complexity Zoo
• Theoretical computer science - stack exchange

General mathematics

• Mathoverflow