BOOLEAN DIFFERENTIAL CALCULUS - (SURVEY)

被引：0
|
作者：
BOCHMANN, D
机构：
来源：
ENGINEERING CYBERNETICS | 1977年 / 15卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：68 / 75
页数：8
相关论文
共 50 条
  • [21] ALGORITHM FOR FORMAL CALCULUS OF BOOLEAN EXPRESSIONS
    CAVADIA, IC
    REVUE FRANCAISE D INFORMATIQUE DE RECHERCHE OPERATIONNELLE, 1971, 5 (NB3): : 65 - &
  • [22] The differential λμ-calculus
    Vaux, Lionel
    THEORETICAL COMPUTER SCIENCE, 2007, 379 (1-2) : 166 - 209
  • [23] CALCULUS SURVEY
    WOOD, AS
    BRITISH JOURNAL OF UROLOGY, 1979, 51 (01): : 62 - 62
  • [24] BOOLEAN INTEGRAL CALCULUS FOR DIGITAL SYSTEMS.
    Tucker, Jerry H.
    Tapia, Moiez A.
    Bennett, A.Wayne
    IEEE Transactions on Computers, 1985, C-34 (01) : 78 - 81
  • [25] Quantum stochastic calculus on Boolean Fock space
    Ben Ghorbal, A
    Schürmann, M
    INFINITE DIMENSIONAL ANALYSIS QUANTUM PROBABILITY AND RELATED TOPICS, 2004, 7 (04) : 631 - 650
  • [26] ALGORITHM FOR THE FORMAL CALCULUS OF BOOLEAN EXPRESSIONS.
    Cavadia, I.C.
    Revue Francaise d'Automatique Informatique Recherche Operationnelle, 1973, 7 : 63 - 84
  • [27] Boolean-Valued Semantics for the Stochastic λ-Calculus
    Bacci, Giorgio
    Furber, Robert
    Kozen, Dexter
    Mardare, Radu
    Panangaden, Prakash
    Scott, Dana S.
    LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 669 - 678
  • [28] BOOLEAN-ALGEBRA AND THE PROPOSITIONAL CALCULUS - DISCUSSION
    LEBLANC, H
    MIND, 1962, 71 (283) : 383 - 386
  • [29] BOOLEAN INTEGRAL CALCULUS FOR DIGITAL-SYSTEMS
    TUCKER, JH
    TAPIA, MA
    BENNETT, AW
    IEEE TRANSACTIONS ON COMPUTERS, 1985, 34 (01) : 78 - 81
  • [30] Boolean differential equations
    2013, Morgan and Claypool Publishers (42):
12345