The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
Weiterlesen
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
Weiterlesen
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Weiterlesen