Login / Signup

The Monadic Second-Order Logic of Graphs VIII: Orientations.

Bruno Courcelle
Published in: Ann. Pure Appl. Log. (1995)
Keyphrases
  • monadic second order logic
  • expressive power
  • directed graph
  • graph matching
  • graph mining
  • artificial intelligence
  • metadata
  • graph theory
  • tree automata