A survey of two-dimensional automata theory
Selected contributions of the fifth international meeting of Young Computer Scientists on Machines, language, and complexity
Recognizable picture languages
Parallel image processing
Monadic second-order logic over rectangular pictures and recognizability by tiling systems
Information and Computation
Recognizable picture languages and domino tiling
Theoretical Computer Science
Handbook of formal languages, vol. 3
Context-sensitive string languages and recognizable picture languages
Information and Computation
Recognizability of rectangular pictures by Wang systems
Journal of Automata, Languages and Combinatorics
A characterization of recognizable picture languages by tilings by finite sets
Theoretical Computer Science - Special issue on Caen '97
Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures
Theoretical Computer Science
One Quantifier Will Do in Existential Monadic Second-Order Logic over Pictures
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
On Some Recognizable Picture-Languages
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
A Characterization of Recognizable Picture Languages
ICPIA '92 Proceedings of the Second International Conference on Parallel Image Analysis
Regular Expressions and Context-Free Grammars for Picture Languages
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
On Piecewise Testable, Starfree, and Recognizable Picture Languages
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science
The Monadic Quantifier Alternation Hierarchy over Grids and Pictures
CSL '97 Selected Papers from the11th International Workshop on Computer Science Logic
The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
New operations and regular expressions for two-dimensional languages over one-letter alphabet
Theoretical Computer Science - The art of theory
From determinism to non-determinism in recognizable two-dimensional languages
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Deterministic two-dimensional languages over one-letter alphabet
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Deterministic and unambiguous two-dimensional languages over one-letter alphabet
Theoretical Computer Science
Picture Languages: From Wang Tiles to 2D Grammars
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Hi-index | 0.00 |