Sign in

Constructing Infinite Graphs with a Decidable MSO-Theory.

Wolfgang Thomas
Published in: MFCS (2003)
Keyphrases
  • theoretical framework
  • regular expressions
  • directed graph
  • database
  • data model
  • markov chain
  • graph databases
  • general theory