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 条
  • [1] COMBINATORY LOGIC AND ALGORITHMS
    NOLIN, L
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 272 (23): : 1485 - &
  • [2] DISCRIMINATORS IN COMBINATORY LOGIC
    LONGO, G
    VENTURINIZILLI, M
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 458 - 459
  • [3] COMBINATORY LOGIC AND ALGORITHMS
    NOLIN, L
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 272 (22): : 1435 - &
  • [4] On Reversible Combinatory Logic
    Di Pierro, Alessandra
    Hankin, Chris
    Wiklicky, Herbert
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 135 (03) : 25 - 35
  • [5] Combinatory Logic Synthesizer
    Bessai, Jan
    Dudenhefner, Andrej
    Duedder, Boris
    Martens, Moritz
    Rehof, Jakob
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I, 2014, 8802 : 26 - 40
  • [6] Reversible combinatory logic
    Di Pierro, Alessandra
    Hankin, Chris
    Wiklicky, Herbert
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2006, 16 (04) : 621 - 637
  • [7] COMBINATORY LOGIC WITH DISCRIMINATORS
    KEARNS, JT
    JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (04) : 561 - &
  • [8] Functionality in combinatory logic
    Curry, HB
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1934, 20 : 584 - 590
  • [9] SIMPLIFICATION OF COMBINATORY LOGIC
    GOODMAN, ND
    JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (02) : 225 - &
  • [10] Combinatory logic.
    Decock, L
    TIJDSCHRIFT VOOR FILOSOFIE, 1998, 60 (01): : 206 - 207
12345