Login / Signup

Automata for the verification of monadic second-order graph properties.

Bruno CourcelleIrène Durand
Published in: J. Appl. Log. (2012)
Keyphrases
  • graph properties
  • graph theoretic
  • graph theory
  • directed graph
  • model checking
  • maximal cliques
  • higher order
  • regular expressions
  • datalog programs
  • social network analysis