Specifying standard logic families

被引：0
|
作者：
Tharalson, G
机构：
来源：
ELECTRONIC PRODUCTS MAGAZINE | 1996年 / 39卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：35 / 38
页数：4
相关论文
共 50 条
  • [31] EVENT LOGIC FOR SPECIFYING ABSTRACT DYNAMIC DATA-TYPES
    REGGIO, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 292 - 309
  • [32] Specifying User Preferences Using Weighted Signal Temporal Logic
    Mehdipour, Noushin
    Vasile, Cristian-Ioan
    Belta, Calin
    IEEE CONTROL SYSTEMS LETTERS, 2021, 5 (06): : 2006 - 2011
  • [33] SPECIFYING REAL-TIME PROPERTIES WITH METRIC TEMPORAL LOGIC
    KOYMANS, R
    REAL-TIME SYSTEMS, 1990, 2 (04) : 255 - 299
  • [34] Specifying and verifying systems of communicating agents in a temporal action logic
    Giordano, L
    Martelli, A
    Schwind, C
    AI(ASTERISK)IA 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2003, 2829 : 262 - 274
  • [35] Translating default logic into standard autoepistemic logic
    Gottlob, G.
    Journal of the Association for Computing Machinery, 1995, 42 (04):
  • [36] SPECIFYING MESSAGE PASSING SYSTEMS REQUIRES EXTENDING TEMPORAL LOGIC
    KOYMANS, R
    TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 213 - 223
  • [37] Specifying intrusion detection and reaction policies: An application of deontic logic
    Cuppens-Boulahia, Nora
    Cuppens, Frederic
    DEONTIC LOGIC IN COMPUTER SCIENCE, 2008, 5076 : 65 - +
  • [38] Specifying safety-critical systems with a decidable duration logic
    Konur, Savas
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 80 : 264 - 287
  • [39] Standard Cell Layout Synthesis for Row-Based Placement and Routing of RSFQ and AQFP Logic Families
    Schindler, Lieze
    van Staden, Ruben
    Fourie, Coenrad J.
    Ayala, Christopher L.
    Coetzee, Johannes A.
    Tanaka, Tomoyuki
    Saito, Ro
    Yoshikawa, Nobuyuki
    2019 IEEE INTERNATIONAL SUPERCONDUCTIVE ELECTRONICS CONFERENCE (ISEC), 2019,
  • [40] TRANSLATING DEFAULT LOGIC INTO STANDARD AUTOEPISTEMIC LOGIC
    GOTTLOB, G
    JOURNAL OF THE ACM, 1995, 42 (04) : 711 - 740
12345