首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
On winning Ehrenfeucht games and monadic NP
被引:0
作者
:
Schwentick, T.
论文数:
0
引用数:
0
h-index:
0
Schwentick, T.
机构
:
来源
:
Bulletin of the European Association for Theoretical Computer Science
|
1995年
/ 56期
关键词
:
D O I
:
暂无
中图分类号
:
学科分类号
:
摘要
:
引用
收藏
相关论文
共 50 条
[1]
On winning Ehrenfeucht games and monadic NP
Schwentick, T
论文数:
0
引用数:
0
h-index:
0
机构:
Institut für Informatik, Johannes Gutenberg-Universitat Mainz
Schwentick, T
ANNALS OF PURE AND APPLIED LOGIC,
1996,
79
(01)
: 61
-
92
[2]
On winning strategies in Ehrenfeucht-Fraisse games
Arora, S
论文数:
0
引用数:
0
h-index:
0
机构:
35 Olden Street, Princeton
Arora, S
Fagin, R
论文数:
0
引用数:
0
h-index:
0
机构:
35 Olden Street, Princeton
Fagin, R
THEORETICAL COMPUTER SCIENCE,
1997,
174
(1-2)
: 97
-
121
[3]
Ehrenfeucht games, the composition method, and the monadic theory of ordinal words
Thomas, W
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Kiel, Inst Informat & Prakt Math, D-24098 Kiel, Germany
Univ Kiel, Inst Informat & Prakt Math, D-24098 Kiel, Germany
Thomas, W
STRUCTURES IN LOGIC AND COMPUTER SCIENCE,
1997,
1261
: 118
-
143
[4]
ON MONADIC NP VS MONADIC CO-NP
FAGIN, R
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Research Division, Almaden Research Center, San Jose, CA 95120-6099
FAGIN, R
STOCKMEYER, LJ
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Research Division, Almaden Research Center, San Jose, CA 95120-6099
STOCKMEYER, LJ
VARDI, MY
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Research Division, Almaden Research Center, San Jose, CA 95120-6099
VARDI, MY
INFORMATION AND COMPUTATION,
1995,
120
(01)
: 78
-
92
[5]
The closure of monadic NP
Ajtai, M
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Corp, Almaden Res Ctr, Div Res, San Jose, CA 95120 USA
IBM Corp, Almaden Res Ctr, Div Res, San Jose, CA 95120 USA
Ajtai, M
Fagin, R
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Corp, Almaden Res Ctr, Div Res, San Jose, CA 95120 USA
IBM Corp, Almaden Res Ctr, Div Res, San Jose, CA 95120 USA
Fagin, R
Stockmeyer, L
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Corp, Almaden Res Ctr, Div Res, San Jose, CA 95120 USA
IBM Corp, Almaden Res Ctr, Div Res, San Jose, CA 95120 USA
Stockmeyer, L
JOURNAL OF COMPUTER AND SYSTEM SCIENCES,
2000,
60
(03)
: 660
-
716
[6]
Ehrenfeucht games and ordinal addition
Maurin, F
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Caen, GRAL, F-14032 Caen, France
Univ Caen, GRAL, F-14032 Caen, France
Maurin, F
ANNALS OF PURE AND APPLIED LOGIC,
1997,
89
(01)
: 53
-
73
[7]
Trees and Ehrenfeucht-Fraisse games
Todorcevic, S
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Toronto, Dept Math, Toronto, ON M5S 1A4, Canada
Todorcevic, S
Väänänen, J
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Toronto, Dept Math, Toronto, ON M5S 1A4, Canada
Väänänen, J
ANNALS OF PURE AND APPLIED LOGIC,
1999,
100
(1-3)
: 69
-
97
[8]
Ehrenfeucht-Fraisse games on ordinals
Mwesigye, F.
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Leeds, Dept Pure Math, Leeds LS2 9JT, W Yorkshire, England
Univ Leeds, Dept Pure Math, Leeds LS2 9JT, W Yorkshire, England
Mwesigye, F.
Truss, J. K.
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Leeds, Dept Pure Math, Leeds LS2 9JT, W Yorkshire, England
Univ Leeds, Dept Pure Math, Leeds LS2 9JT, W Yorkshire, England
Truss, J. K.
ANNALS OF PURE AND APPLIED LOGIC,
2018,
169
(07)
: 616
-
636
[9]
On complexity of Ehrenfeucht-Fraisse games
Khoussainov, Bakhadyr
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Auckland, Dept Comp Sci, Auckland 1, New Zealand
Univ Auckland, Dept Comp Sci, Auckland 1, New Zealand
Khoussainov, Bakhadyr
Liu, Jiamou
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Auckland, Dept Comp Sci, Auckland 1, New Zealand
Univ Auckland, Dept Comp Sci, Auckland 1, New Zealand
Liu, Jiamou
ANNALS OF PURE AND APPLIED LOGIC,
2009,
161
(03)
: 404
-
415
[10]
ON TRANSFINITE EHRENFEUCHT-FRAISSE GAMES
HYTTINEN, T
论文数:
0
引用数:
0
h-index:
0
HYTTINEN, T
JOURNAL OF SYMBOLIC LOGIC,
1987,
52
(01)
: 323
-
323
←
1
2
3
4
5
→