wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

monadic_second_order_logic_model_checking (162B)

      1 # Monadic second order logic model checking
      2 
      3 - [courcelle_theorem]
      4 
      5 Up: [model_checking] for [monadic_second_order_logic]
      6 
      7 See also: [first_order_model_checking]