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 [J].
Krupski, Nikolai .
ANNALS OF PURE AND APPLIED LOGIC, 2006, 141 (1-2) :243-256
[22]   COMPLEXITY OF REDUCTION IN COMBINATORY LOGIC [J].
CANAL, R .
RAIRO-INFORMATIQUE THEORIQUE-THEORETICAL COMPUTER SCIENCE, 1978, 12 (04) :339-367
[23]   Supramolecular Switches-Advanced Molecular Logic and Computation Molecular Logic Gates [J].
Kaur, Navneet .
CURRENT ORGANIC CHEMISTRY, 2014, 18 (22) :2892-2909
[24]   CATEGORICAL COMBINATORY-LOGIC [J].
CURIEN, PL .
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 194 :130-139
[25]   ABSTRACTION ALGORITHM FOR COMBINATORY LOGIC [J].
ABDALI, SK .
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) :222-224
[26]   On the likelihood of normalization in combinatory logic [J].
Bendkowski, Maciej ;
Grygiel, Katarzyna ;
Zaionc, Marek .
JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (07) :2251-2269
[27]   The axiom of choice and combinatory logic [J].
Cantini, A .
JOURNAL OF SYMBOLIC LOGIC, 2003, 68 (04) :1091-1108
[28]   Asymptotic Properties of Combinatory Logic [J].
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 [J].
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 [J].
Ghilezan, Silvia ;
Kasterovic, Simona .
FRONTIERS IN COMPUTER SCIENCE, 2022, 4
12345