Finite model theory and its connections with complexity issues

Supervisor	Alexandru Baltag
Suitable for	MSc in Computer Science

Abstract

Dr Alexandru Baltag is available to supervise projects in this area.