Add to ORKGInternational audienceWe study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tilings. Conversely, we characterise logic fragments corresponding to various classes of infinite pictures (subshifts of finite type, sofic subshifts)
International audienceWe compare the expressiveness of two extensions of monadic second-order logic ...
15 pagesInternational audienceThis paper deals with logical characterizations of picture languages o...
International audienceThis paper deals with descriptive complexity of picture languages of any dimen...
International audienceWe study the Monadic Second Order (MSO) Hierarchy over colourings of the discr...
We study the Monadic Second Order (MSO) Hierarchy over colourings of the discrete plane, and draw li...
We study the Monadic Second Order (MSO) Hierarchy over colourings of the discrete plane, and draw li...
International audienceWe study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that ...
We use monadic second-order logic to define two-dimensional subshifts, or sets of colorings of th...
International audienceTraditionally a tiling is defined with a finite number of finite forbidden patter...
. We show that every formula of the existential fragment of monadic second-order logic over picture ...
AbstractIn this paper, we explore the expressive power of fragments of monadic second-order logic en...
As is well-known a language of finite words, considered as labeled linear orders, is defin-able in m...
AbstractThis paper presents results from two different areas. The first area is monadic second-order...
Symbolic dynamics is a branch of mathematics that studies the structure of infinite sequences of sym...
We present a technique for higher-order representation of substructural logics such as linear or mod...
International audienceWe compare the expressiveness of two extensions of monadic second-order logic ...
15 pagesInternational audienceThis paper deals with logical characterizations of picture languages o...
International audienceThis paper deals with descriptive complexity of picture languages of any dimen...
International audienceWe study the Monadic Second Order (MSO) Hierarchy over colourings of the discr...
We study the Monadic Second Order (MSO) Hierarchy over colourings of the discrete plane, and draw li...
We study the Monadic Second Order (MSO) Hierarchy over colourings of the discrete plane, and draw li...
International audienceWe study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that ...
We use monadic second-order logic to define two-dimensional subshifts, or sets of colorings of th...
International audienceTraditionally a tiling is defined with a finite number of finite forbidden patter...
. We show that every formula of the existential fragment of monadic second-order logic over picture ...
AbstractIn this paper, we explore the expressive power of fragments of monadic second-order logic en...
As is well-known a language of finite words, considered as labeled linear orders, is defin-able in m...
AbstractThis paper presents results from two different areas. The first area is monadic second-order...
Symbolic dynamics is a branch of mathematics that studies the structure of infinite sequences of sym...
We present a technique for higher-order representation of substructural logics such as linear or mod...
International audienceWe compare the expressiveness of two extensions of monadic second-order logic ...
15 pagesInternational audienceThis paper deals with logical characterizations of picture languages o...
International audienceThis paper deals with descriptive complexity of picture languages of any dimen...