ECTS - University of Pisa

Descriptive complexity theory

Code 222AA
Credits 6

Learning outcomes

Finite models and computational complexity.