The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
Lire la suite
                The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
Lire la suite