메뉴 건너뛰기




Volumn 270, Issue 1-2, 2002, Pages 1-70

Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures

Author keywords

[No Author keywords available]

Indexed keywords

BINARY SEQUENCES; FORMAL LANGUAGES; MATRIX ALGEBRA;

EID: 0037028455     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(01)00277-8     Document Type: Article
Times cited : (13)

References (24)
  • 9
    • 84957045952 scopus 로고    scopus 로고
    • New results on alternating and non-deterministic two-dimensional finite-state automata
    • A. Ferreira, H. Reichel (Eds.), 18th Ann. Symp. on Theoretical Aspects of Computer Science, Springer, Berlin
    • (2001) Lecture Notes in Computer Science , vol.2010
    • Kari, Y.1    Moore, C.2
  • 14
    • 84947927264 scopus 로고    scopus 로고
    • On piecewise testable, starfree, and recognizable picture languages
    • M. Nivat (Ed.), Foundations of Software Science and Computation Structures, Springer, Berlin
    • (1998) Lecture Notes in Computer Science , vol.1378 , pp. 203-210
    • Matz, O.1
  • 15
    • 84896692669 scopus 로고    scopus 로고
    • One quantifier will do in existential monadic second-order logic over pictures
    • L. Brim, J. Gruska, J. Zlatuška, Mathematical Foundations of Computer Science, Springer, Berlin
    • (1998) Lecture Notes in Computer Science , vol.1450 , pp. 751-759
    • Matz, O.1
  • 20
  • 22
    • 0003394437 scopus 로고
    • The complexity of decision problems in automata theory and logic
    • Ph.D. Thesis, Project MAC, Massachusetts Institute of Technology, Department of Electrical Engineering Cambridge, Massachusetts
    • (1974) Report MAC TR-133
    • Stockmeyer, L.J.1
  • 24
    • 21744460612 scopus 로고    scopus 로고
    • Star-free picture expressions are strictly weaker than first-order logic
    • P. Degano, R. Gorrieri, A. Marchetti-Spaccamela, Springer, Bologna, Italy
    • (1997) Automata, Languages and Programming , vol.1256 , pp. 347-357
    • Wilke, Th.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.