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 条
[41]   Bounded Combinatory Logic and lower complexity [J].
Redmond, Brian F. .
INFORMATION AND COMPUTATION, 2016, 248 :215-226
[42]   Combinatory Logic - Pure, Applied, and Typed [J].
Sorensen, Morten Heine .
STUDIA LOGICA, 2013, 101 (05) :1143-1145
[43]   Solution to the Range Problem for Combinatory Logic [J].
Intrigila, Benedetto ;
Statman, Richard .
FUNDAMENTA INFORMATICAE, 2011, 111 (02) :203-222
[44]   TYPED CATEGORICAL COMBINATORY-LOGIC [J].
CURIEN, PL .
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 :157-172
[45]   A BASIS RESULT IN COMBINATORY-LOGIC [J].
LEGRAND, R .
JOURNAL OF SYMBOLIC LOGIC, 1988, 53 (04) :1224-1226
[46]   OTTER experiments in a system of combinatory logic [J].
1600, Kluwer Academic Publishers, Dordrecht, Netherlands (14)
[47]   Combinatory logic and the semantics of substructural logics [J].
Goble L. .
Studia Logica, 2007, 85 (2) :171-197
[48]   Clones, closed categories, and combinatory logic [J].
Saville, Philip .
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PT II, FOSSACS 2024, 2024, 14575 :160-181
[49]   From complexation to computation: Recent progress in molecular logic [J].
Magri, David C. ;
Vance, Thomas P. ;
de Silva, A. Prasanna .
INORGANICA CHIMICA ACTA, 2007, 360 (03) :751-764
[50]   Consistency and axiomatization of a natural extensional combinatory logic [J].
Sci China Ser A, 9 (897)
12345