Model Theory in Computer Science

Dear all,

I am interested in applications of model theory in (theoretical) computer science.
I have seen applications of finite model theory in complexity and database theory. Are there any other applications? I also wonder whether

methods/results of "normal" model theory ("normal" = non finite model theory) have found applications.

I hope someone can help me with hints to literature (work in database theory appreciated, too) or people.

Thanks,
Tobias Sing Received on Sat Dec 16 2000 - 19:13:29 CET