monadic second-order logic

Keywords > monadic second-order logic

Give feedback