Extending formal language hierarchies to higher dimensions
ACM Computing Surveys (CSUR)
Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures
Theoretical Computer Science
The #a = #b Pictures Are Recognizable
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
New operations and regular expressions for two-dimensional languages over one-letter alphabet
Theoretical Computer Science - The art of theory
Higman's Theorem on Discrete Sets
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Characterizations of recognizable picture series
Theoretical Computer Science
Note: Existential MSO over two successors is strictly weaker than over linear orders
Theoretical Computer Science
Picture Languages: From Wang Tiles to 2D Grammars
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Picture Recognizability with Automata Based on Wang Tiles
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
From determinism to non-determinism in recognizable two-dimensional languages
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Tiling recognizable two-dimensional languages
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Recognizable vs. regular picture languages
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Recognizable picture languages and polyominoes
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Deterministic and Unambiguous Families within Recognizable Two-dimensional Languages
Fundamenta Informaticae
A brief excursion inside the class of tiling recognizable two-dimensional languages
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Comparing necessary conditions for recognizability of two-dimensional languages
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Towards more expressive 2D deterministic automata
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Weighted picture automata and weighted logics
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Ordering and convex polyominoes
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Higman's Theorem on Discrete Sets
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
A tiling system for the class of L-convex polyominoes
Theoretical Computer Science
Hi-index | 0.00 |