Login / Signup

On modal μ-calculus over reflexive symmetric graphs.

Giovanna D'AgostinoGiacomo Lenzi
Published in: J. Log. Comput. (2013)
Keyphrases
  • modal logic
  • graph matching
  • graph representation
  • directed graph
  • graph theory
  • graph structure
  • graph databases
  • graph theoretic
  • graph clustering
  • neural network
  • graph partitioning
  • series parallel
  • transition systems