On winning Ehrenfeucht games and monadic NP

被引：0
|
作者：
Schwentick, T.
机构：
来源：
Bulletin of the European Association for Theoretical Computer Science | 1995年 / 56期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] THE EHRENFEUCHT-FRAISSE GAMES FOR TRANSITIVE CLOSURE
    CALO, A
    MAKOWSKY, JA
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 57 - 68
  • [22] Ehrenfeucht-Fraisse games on linear orders
    Bissell-Siders, Ryan
    Logic, Language, Information and Computation, Proceedings, 2007, 4576 : 72 - 82
  • [23] Ehrenfeucht-Fraisse Games on Omega-Terms
    Huschenbett, Martin
    Kufleitner, Manfred
    31ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2014), 2014, 25 : 374 - 385
  • [24] An algorithmic account of Ehrenfeucht games on labeled successor structures
    Montanari, A
    Policriti, A
    Vitacolonna, N
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 139 - 153
  • [25] Ehrenfeucht-Fraisse games in finite set theory
    Zhou, Xiang
    INFORMATION PROCESSING LETTERS, 2008, 108 (01) : 3 - 9
  • [26] POSITIONAL STRATEGIES IN LONG EHRENFEUCHT-FRAISSE GAMES
    Shelah, S.
    Vaananen, J.
    Velickovic, B.
    JOURNAL OF SYMBOLIC LOGIC, 2015, 80 (01) : 285 - 300
  • [27] WINNING WITH VIDEO GAMES
    BRAUER, M
    ISGUR, B
    SIMON, R
    CRAWFORD, G
    TREMBLAY, G
    VOGEL, H
    INSTITUTIONAL INVESTOR, 1981, 15 (09): : 279 - 281
  • [28] GAMES WITH A WINNING STRATEGY
    LAWRENCE, J
    QUIRING, D
    AMERICAN MATHEMATICAL MONTHLY, 1967, 74 (05): : 604 - &
  • [29] Games and winning strategies
    Back, R.J.R., 1600, Elsevier Science B.V., Amsterdam, Netherlands (53):
  • [30] Winning at the hunger games
    Wilson, Clare
    NEW SCIENTIST, 2015, 226 (3026) : 14 - 15
12345