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
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal language characterizations of P, NP, and Pspace
Journal of Automata, Languages and Combinatorics
Computing languages by (Bounded) local sets
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Recognizable vs. regular picture languages
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Left-most derivation and shadow-pushdown automata for context-sensitive languages
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Classification of string languages via tiling recognizable picture languages
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
An automata-theoretic characterization of the chomsky-hierarchy
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Traces of term-automatic graphs
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
Hi-index | 0.01 |