메뉴 건너뛰기




Volumn 1450 LNCS, Issue , 1998, Pages 751-759

One quantifier will do in existential monadic second-order logic over pictures

Author keywords

[No Author keywords available]

Indexed keywords

MONADIC QUANTIFIER; MONADIC SECOND-ORDER LOGIC; WORD MODELS;

EID: 84896692669     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055826     Document Type: Conference Paper
Times cited : (8)

References (7)
  • 1
    • 0011975194 scopus 로고    scopus 로고
    • Two-dimensional languages
    • G. Rozen-berg and A. Salomaa, editors Springer-Verlag, New York
    • D. Giammarresi and A. Restivo. Two-dimensional languages. In G. Rozen-berg and A. Salomaa, editors, Handbook of Formal Language Theory, volume III. Springer-Verlag, New York, 1996.
    • (1996) Handbook of Formal Language Theory , vol.3
    • Giammarresi, D.1    Restivo, A.2
  • 5
    • 0030718787 scopus 로고    scopus 로고
    • The monadic quantifier alternation hierarchy over graphs is infinite
    • Warsaw, Poland IEEE
    • O. Matz and W. Thomas. The monadic quantifier alternation hierarchy over graphs is infinite. In Twelfth Annual IEEE Symposium on Logic in Computer Science, pages 236-244, Warsaw, Poland, 1997. IEEE.
    • (1997) Twelfth Annual IEEE Symposium on Logic in Computer Science , pp. 236-244
    • Matz, O.1    Thomas, W.2
  • 7
    • 0020246633 scopus 로고
    • Classifying regular events in symbolic logic
    • W. Thomas. Classifying regular events in symbolic logic. Journal of Computer and System Sciences, 25:360-376, 1982.
    • (1982) Journal of Computer and System Sciences , vol.25 , pp. 360-376
    • Thomas, W.1


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