Specifying standard logic families

被引：0

|

作者：

Tharalson, G

机构：

来源：

ELECTRONIC PRODUCTS MAGAZINE | 1996年 / 39卷 / 04期

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

收藏

页码：35 / 38

页数：4

相关论文

共 50 条

[1] STANDARD LOGIC FAMILIES WILL BE COOLER, FASTER, EASIER TO USE
POND, K
ELECTRONIC DESIGN, 1988, 36 (01) : 120 - 120
[2] Specifying coalgebras with modal logic
Kurz, A
THEORETICAL COMPUTER SCIENCE, 2001, 260 (1-2) : 119 - 138
[3] SPECIFYING COMMUNICATING SYSTEMS WITH TEMPORAL LOGIC
CHAOCHEN, Z
TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 304 - 323
[4] DILL - SPECIFYING DIGITAL LOGIC IN LOTOS
TURNER, KJ
SINNOTT, RO
FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 71 - 86
[5] SPECIFYING COMMUNICATING SYSTEMS WITH TEMPORAL LOGIC
CHAOCHEN, Z
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 304 - 323
[6] PROPOSED UNIVERSAL STANDARD FOR SPECIFYING SCHEDULES
FOWLER, JF
INTERNATIONAL JOURNAL OF RADIATION ONCOLOGY BIOLOGY PHYSICS, 1992, 23 (05): : 1098 - 1098
[7] PROPOSED UNIVERSAL STANDARD FOR SPECIFYING SCHEDULES
KALLMAN, RF
INTERNATIONAL JOURNAL OF RADIATION ONCOLOGY BIOLOGY PHYSICS, 1991, 21 (05): : 1394 - 1394
[8] Logic Families
Andreka, Hajnal
Gyenis, Zalan
Nemeti, Istvan
Sain, Ildiko
STUDIA LOGICA, 2024,
[9] SPECIFYING CLOSED WORLD ASSUMPTIONS FOR LOGIC DATABASES
BRASS, S
LIPECK, UW
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 364 : 68 - 84
[10] ON SPECIFYING PROTOCOLS BASED ON LOTOS AND TEMPORAL LOGIC
ANDO, T
KATO, Y
TAKAHASHI, K
IEICE TRANSACTIONS ON COMMUNICATIONS, 1994, E77B (08) : 992 - 1006

← 1 2 3 4 5 →