http://openproblemgarden.org/op/mso_alternation_hierarchy_over_pictures Comments for "MSO alternation hierarchy over pictures" en http://openproblemgarden.org/op/mso_alternation_hierarchy_over_pictures <table cellspacing="10"> <tr> <td> Author(s): <a href="/category/grandjean_etienne">Grandjean</a>&nbsp;&nbsp; </td> <td align=right> Subject: <a href="/category/logic">Logic</a> » <a href="/category/finite_model_theory">Finite Model Theory</a>&nbsp;&nbsp; </td> </tr> <tr> <td colspan=2> <table border=1 cellspacing="5"> <tr><td> <div class="envtheorem"><b>Question</b>&nbsp;&nbsp; Is the MSO-alternation hierarchy strict for pictures that are balanced, in the sense that the width and the length are polynomially (or linearly) related. </div> </tr></td> </table> </td> </tr> </table> Grandjean, Etienne FMT12-LesHouches MSO, alternation hierarchy picture languages Logic Finite Model Theory http://openproblemgarden.org/op/mso_alternation_hierarchy_over_pictures#comment Fri, 18 May 2012 11:59:58 +0200 dberwanger 37448 at http://openproblemgarden.org