View of MONA: Monadic Second-Order Logic in Practice

Return to Article Details MONA: Monadic Second-Order Logic in Practice Download Download PDF