Login / Signup

Fusion in Relational Structures and the Verification of Monadic Second-Order Properties.

Bruno CourcelleJohann A. Makowsky
Published in: Math. Struct. Comput. Sci. (2002)
Keyphrases
  • relational structures
  • datalog programs
  • higher order
  • artificial intelligence
  • association graph