NOTE ON 3-VALUED LOGIC SIMULATION

被引：23
|
作者：
BREUER, MA
机构：
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1972年 / C 21卷 / 04期
关键词：
D O I：
10.1109/TC.1972.5008985
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：399 / &
相关论文
共 50 条
  • [41] APPLICATION OF 3-VALUED LOGIC FOR DISTRIBUTED TERMINATION DETECTION
    KAVIANPOUR, A
    BAGHERZADEH, N
    COMPUTERS & ELECTRICAL ENGINEERING, 1991, 17 (02) : 65 - 74
  • [42] SET OF PRIME CLOSING FUNCTIONS OF 3-VALUED LOGIC
    RVACHEV, VL
    TONITSA, VS
    SHKLYAROV, LI
    DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1979, (02): : 89 - 94
  • [43] 3-VALUED FORMALIZATIONS OF NONMONOTONIC REASONING AND LOGIC PROGRAMMING
    PRZYMUSINSKI, TC
    PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 341 - 348
  • [44] Static program analysis via 3-valued logic
    Reps, T
    STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 1 - 1
  • [45] A 3-VALUED SEMANTICS FOR DEDUCTIVE DATABASES AND LOGIC PROGRAMS
    YOU, JH
    YUAN, LY
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 49 (02) : 334 - 361
  • [46] QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC
    Arkoudas, Konstantine
    Bringsjord, Selmer
    Khemlani, Sangeet
    KEOD 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE ENGINEERING AND ONTOLOGY DEVELOPMENT, 2009, : 80 - +
  • [47] THE HILBERT TYPE AXIOMATIZATION OF SOME 3-VALUED PROPOSITIONAL LOGIC
    ZBRZEZNY, A
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1990, 36 (05): : 415 - 421
  • [48] G3′ AS THE LOGIC OF MODAL 3-VALUED HEYTING ALGEBRAS
    Coniglio, Marcelo Esteban
    Figallo-Orellano, Aldo
    Hernandez-Tello, Alejandro
    Perez-Gaspar, Miguel
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2022, 9 (01): : 175 - 197
  • [49] INDEPENDENT AXIOMS FOR IMPLICATIONAL FRAGMENT OF SOBOCINSKIS 3-VALUED LOGIC
    MEYER, RK
    PARKS, Z
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (04): : 291 - 295
  • [50] REALIZATION OF A 3-VALUED LOGIC BUILT-IN TESTING STRUCTURE
    ROZON, CN
    MOUFTAH, HT
    IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1990, 25 (03) : 814 - 820
12345