GUHA METHOD IN 3-VALUED LOGIC

被引：0
|
作者：
RAUCH, J [1 ]
机构：
[1] TECH SCH PRAGUE,SOLINOVA 7,16608 PRAGUE,CZECHOSLOVAKIA
来源：
KYBERNETIKA | 1975年 / 11卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：101 / 113
页数：13
相关论文
共 50 条
  • [21] ON SHEFFER SYMMETRIC FUNCTIONS IN 3-VALUED LOGIC
    STOJMENOVIC, I
    DISCRETE APPLIED MATHEMATICS, 1989, 22 (03) : 267 - 274
  • [22] LEGALITY CONCEPTS FOR 3-VALUED LOGIC PROGRAMS
    NOTA, G
    OREFICE, S
    PACINI, G
    RUGGIERO, F
    TORTORA, G
    THEORETICAL COMPUTER SCIENCE, 1993, 120 (01) : 45 - 68
  • [23] GENTZENS TECHNIQUES IN 3-VALUED LOGIC OF LUKASIEWICZ
    BECCHIO, D
    PABION, JF
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 123 - 124
  • [24] 3-VALUED BROUWER-ZADEH LOGIC
    GIUNTINI, R
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1993, 32 (10) : 1875 - 1887
  • [25] 3-WIRE 3-VALUED LOGIC CIRCUITS
    HARADA, N
    SHIMADA, R
    TAMESADA, T
    ELECTRONICS & COMMUNICATIONS IN JAPAN, 1969, 52 (01): : 120 - &
  • [26] Fixpoint 3-valued semantics for autoepistemic logic
    Denecker, M
    Marek, V
    Truszczynski, M
    FIFTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-98) AND TENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICAL INTELLIGENCE (IAAI-98) - PROCEEDINGS, 1998, : 840 - 845
  • [27] METHOD FOR COMBINING 3-VALUED PREDICTIONS
    SUTHERLA.WH
    OPERATIONS RESEARCH, 1974, 22 (05) : 1104 - 1109
  • [28] Parametric shape analysis via 3-valued logic
    Sagiv, M
    Reps, T
    Wilhelm, R
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2002, 24 (03): : 217 - 298
  • [29] Stone algebras: 3-valued logic and rough sets
    Arun Kumar
    Shilpi Kumari
    Soft Computing, 2021, 25 : 12685 - 12692
  • [30] Static program analysis via 3-valued logic
    Reps, TW
    Sagiv, M
    Wilheim, R
    COMPUTER AIDED VERIFICATION, 2004, 3114 : 15 - 30
12345