- ホーム
- > 洋書
- > ドイツ書
- > Mathematics, Sciences & Technology
- > Mathematics
- > basics
基本説明
Presents the main results of descriptive complexity theory, that is the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds.
Full Description
Finite model theory, the model theory of finite structures, has roots in clas sical model theory;