ON LOGICAL DESCRIPTIONS OF SOME CONCEPTS IN STRUCTURAL COMPLEXITY THEORY

被引：0

|

作者：

GRADEL, E

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 440卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：163 / 175

页数：13

相关论文

共 50 条

[21] A logical approach to control. Some new logical concepts and their application to the notion of safety for control variants
Terlikowski, T
FUNDAMENTA INFORMATICAE, 2002, 52 (04) : 377 - 394
[22] SOME APPROXIMATION CONCEPTS FOR STRUCTURAL SYNTHESIS
SCHMIT, LA
FARSHI, B
AIAA JOURNAL, 1974, 12 (05) : 692 - 699
[23] A REVISION OF SOME CONCEPTS IN NUCLEATION THEORY
BINSBERG.FL
KOLLOID-ZEITSCHRIFT AND ZEITSCHRIFT FUR POLYMERE, 1970, 237 (02): : 289 - &
[24] A survey on real structural complexity theory
Meer, K
Michaux, C
BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 1997, 4 (01) : 113 - 148
[25] SOME MAIN CONCEPTS OF THE THEORY OF ACTIONS
BALL, GA
VOPROSY PSIKHOLOGII, 1980, (01) : 73 - 81
[26] NEW DEVELOPMENTS IN STRUCTURAL COMPLEXITY THEORY
HARTMANIS, J
THEORETICAL COMPUTER SCIENCE, 1990, 71 (01) : 79 - 93
[27] Some complementary concepts of communication theory
Skyttner, L
KYBERNETES, 1998, 27 (02) : 155 - +
[28] SOME CIRCUIT THEORY CONCEPTS REVISITED
PORTER, WA
INTERNATIONAL JOURNAL OF CONTROL, 1970, 12 (03) : 433 - +
[29] LOGICAL STRENGTH OF COMPLEXITY THEORY AND A FORMALIZATION OF THE PCP THEOREM IN BOUNDED ARITHMETIC
Pich, Jan
LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (02)
[30] STRUCTURAL COMPLEXITY THEORY - RECENT SURPRISES
HARTMANIS, J
CHANG, R
RANJAN, D
ROHATGI, P
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 447 : 1 - 12

← 1 2 3 4 5 →