Combinatory logic for autonomous molecular computation

被引：0
作者：
MacLennan, BJ [1 ]
机构：
[1] Univ Tennessee, Dept Comp Sci, Knoxville, TN 37996 USA
来源：
PROCEEDINGS OF THE 7TH JOINT CONFERENCE ON INFORMATION SCIENCES | 2003年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：1484 / 1487
页数：4
相关论文
共 50 条
  • [21] Typing in reflective combinatory logic
    Krupski, Nikolai
    ANNALS OF PURE AND APPLIED LOGIC, 2006, 141 (1-2) : 243 - 256
  • [22] COMPLEXITY OF REDUCTION IN COMBINATORY LOGIC
    CANAL, R
    RAIRO-INFORMATIQUE THEORIQUE-THEORETICAL COMPUTER SCIENCE, 1978, 12 (04): : 339 - 367
  • [23] Supramolecular Switches-Advanced Molecular Logic and Computation Molecular Logic Gates
    Kaur, Navneet
    CURRENT ORGANIC CHEMISTRY, 2014, 18 (22) : 2892 - 2909
  • [24] CATEGORICAL COMBINATORY-LOGIC
    CURIEN, PL
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 194 : 130 - 139
  • [25] ABSTRACTION ALGORITHM FOR COMBINATORY LOGIC
    ABDALI, SK
    JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 222 - 224
  • [26] The axiom of choice and combinatory logic
    Cantini, A
    JOURNAL OF SYMBOLIC LOGIC, 2003, 68 (04) : 1091 - 1108
  • [27] On the likelihood of normalization in combinatory logic
    Bendkowski, Maciej
    Grygiel, Katarzyna
    Zaionc, Marek
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (07) : 2251 - 2269
  • [28] Asymptotic Properties of Combinatory Logic
    Bendkowski, Maciej
    Grygiel, Katarzyna
    Zaionc, Marek
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (TAMC 2015), 2015, 9076 : 62 - 72
  • [29] A supramolecular chemistry basis for molecular logic and computation
    de Silva, A. Prasanna
    Uchiyama, Seiichi
    Vance, Thomas P.
    Wannalerse, Boontana
    COORDINATION CHEMISTRY REVIEWS, 2007, 251 (13-14) : 1623 - 1632
  • [30] Semantics for Combinatory Logic With Intersection Types
    Ghilezan, Silvia
    Kasterovic, Simona
    FRONTIERS IN COMPUTER SCIENCE, 2022, 4
12345