Login / Signup

Deciding first-order properties of locally tree-decomposable structures.

Markus FrickMartin Grohe
Published in: J. ACM (2001)
Keyphrases
  • tree structures
  • desirable properties
  • tree structure
  • structural properties
  • binary tree
  • data structure
  • tree like structures
  • real time
  • databases
  • search engine
  • multiscale
  • tree models
  • convex constraints