A Contraction Method to Decide MSO Theories of Deterministic Trees - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Angelo Montanari, Gabriele Puppis. A Contraction Method to Decide MSO Theories of Deterministic Trees. In 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. pages 141-150, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Angelo Montanari' in GoogleThis author has not been identified. Look up 'Gabriele Puppis' in Google

runs on WebDSL