Courcelle, Bruno

• BRICS Report Series No. 44 (1995): RS-44 Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems - Articles
  Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems
  Abstract  PDF