Login / Signup

M. Grohe, Descriptive Complexity, Canonisation, and Definable Graph Structure Theory, Cambridge University Press, Cambridge, 2017, x + 544 pp.

Luc Segoufin
Published in: Bull. Symb. Log. (2017)
Keyphrases
  • graph structure
  • graphical models
  • directed graph
  • graph structures
  • tree structure
  • graph model
  • worst case
  • graph representations
  • data streams
  • first order logic
  • directed acyclic