Report copyright - Descriptive complexity vs. decidability for MSOmskrzypczak/docs/sk13_journees.pdf · Michał Skrzypczak Descriptive complexity vs. decidability for MSO 5/22. Equivalence Theorem(Büchi[1960],Elgot[1961],Trakhtenbrot[1962])
Please pass captcha verification before submit form