Descriptive complexity, canonisation, and definable graph structure theory
Auteur :
Grohe, Martin
Éditeur :
Cambridge University Press
ISBN :
9781107014527
Date de publication :
17 août 2017
Dimensions :
23,5 x 16,0 x 3,6 cm
Poids :
880 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This groundbreaking, yet accessible book contains original results on the interaction between graph theory and computational complexity using methods from finite model theory. As well as a wealth of new, previously unpublished results, the author also gives an account of the established results in the area.