REGULAR LANGUAGES IN NC

被引:0
|
作者
BARRINGTON, DAM
COMPTON, K
STRAUBING, H
THERIEN, D
机构
[1] UNIV MICHIGAN,DEPT COMP SCI,ANN ARBOR,MI 48109
[2] BOSTON COLL,DEPT COMP SCI,CHESTNUT HILL,MA 02167
[3] MCGILL UNIV,SCH COMP SCI,MONTREAL H3A 2K6,QUEBEC,CANADA
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:478 / 499
页数:22
相关论文
共 50 条
  • [31] Extensions of ω-Regular Languages
    Bojanczyk, Mikolaj
    Kelmendi, Edon
    Stefanski, Rafal
    Zetzsche, Georg
    PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 266 - 272
  • [32] On fuzzy regular languages
    Malik, DS
    Mordeson, JN
    Sen, MK
    INFORMATION SCIENCES, 1996, 88 (1-4) : 263 - 273
  • [33] Containment of regular languages in non-regular timing diagram languages is decidable
    Fisler, K
    COMPUTER AIDED VERIFICATION, 1997, 1254 : 155 - 166
  • [34] TRACE LANGUAGES DEFINED BY REGULAR STRING LANGUAGES
    AALBERSBERG, IJ
    WELZL, E
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1986, 20 (02): : 113 - 119
  • [35] LANGUAGES VERSUS ω-LANGUAGES IN REGULAR INFINITE GAMES
    Chaturvedi, Namit
    Olschewski, Joerg
    Thomas, Wolfgang
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2012, 23 (05) : 985 - 1000
  • [36] Learning approximately regular languages with reversible languages
    Kobayashi, S
    Yokomori, T
    THEORETICAL COMPUTER SCIENCE, 1997, 174 (1-2) : 251 - 257
  • [37] Licensing Double Negation in NC and non-NC languages
    Genoveva Puskás
    Natural Language & Linguistic Theory, 2012, 30 : 611 - 649
  • [38] Licensing Double Negation in NC and non-NC languages
    Puskas, Genoveva
    NATURAL LANGUAGE & LINGUISTIC THEORY, 2012, 30 (02) : 611 - 649
  • [39] Regular binoid expressions and regular binoid languages
    Hashiguchi, K
    Wada, Y
    Jimbo, S
    THEORETICAL COMPUTER SCIENCE, 2003, 304 (1-3) : 291 - 313
  • [40] Balanced-by-Construction Regular and ω-Regular Languages
    Edixhoven, Luc
    Jongmans, Sung-Shik
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2023, 34 (02N03) : 117 - 144