CLASSIFYING REGULAR EVENTS IN SYMBOLIC LOGIC

被引：176

|

作者：

THOMAS, W

机构：

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1982年 / 25卷 / 03期

关键词：

D O I：

10.1016/0022-0000(82)90016-2

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：360 / 376

页数：17

相关论文

共 50 条

[1] Symbolic test generation using a temporal logic with constrained events
Liu, Daguang
Wu, Peng
Lin, Huimin
[J]. FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS, 2007, 4700 : 467 - +
[2] SYMBOLIC LOGIC
GRATTANGUINNESS, I
[J]. ANNALS OF SCIENCE, 1979, 36 (06) : 652 - 653
[3] Symbolic Logic
Bennett, Albert A.
[J]. SCIENTIFIC MONTHLY, 1954, 79 : 188 - 189
[4] INQUIRY LOGIC TO SYMBOLIC LOGIC
MOSIER, RD
[J]. EDUCATIONAL THEORY, 1968, 18 (01) : 32 - 38
[5] Symbolic Logic and the Logic of Symbolism
Henderson, Andrea
[J]. CRITICAL INQUIRY, 2014, 41 (01) : 78 - 101
[6] On a classifying property of regular representations
S. M. Ageev
[J]. Functional Analysis and Its Applications, 2016, 50 : 248 - 256
[7] On a classifying property of regular representations
Ageev, S. M.
[J]. FUNCTIONAL ANALYSIS AND ITS APPLICATIONS, 2016, 50 (04) : 248 - 256
[8] A SYMBOLIC SYSTEM FOR CLASSIFYING MULTIVARIATE PROCEDURES
BAGGALEY, AR
[J]. JOURNAL OF EXPERIMENTAL EDUCATION, 1969, 37 (03): : 5 - &
[9] An Introduction to Symbolic Logic
Kantor, J. R.
[J]. PSYCHOLOGICAL BULLETIN, 1938, 35 (08) : 566 - 572
[10] THE BULLETIN OF SYMBOLIC LOGIC
Shore, Richard A.
[J]. BULLETIN OF SYMBOLIC LOGIC, 1995, 1 (01) : 1 - 3

← 1 2 3 4 5 →