COMBINATORY-LOGIC AND WHITEHEADS THEORY OF PREHENSIONS

被引：0

|

作者：

FITCH, FB

机构：

来源：

JOURNAL OF PHILOSOPHY | 1957年 / 54卷 / 06期

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：142 / 143

页数：2

相关论文

共 50 条

[41] CHALLENGE PROBLEMS FOCUSING ON EQUALITY AND COMBINATORY-LOGIC - EVALUATING AUTOMATED THEOREM-PROVING PROGRAMS
WOS, L
MCCUNE, W
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 714 - 729
[42] GENERAL MODELS FOR TYPE THEORY BASED ON COMBINATORY LOGIC
SELDIN, JP
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (03) : 544 - &
[43] COMBINATORY LOGIC AS THE FIRST-ORDER MATHEMATICAL THEORY
江明德
文蕙
ChineseScienceBulletin, 1989, (24) : 2079 - 2083
[44] AN INTERACTIVE, INCREMENTAL AND PORTABLE COMPUTER ALGEBRA SYSTEM FOR LAMBDA-CALCULUS AND COMBINATORY-LOGIC BASED ON VIDEO EDITION AND REWRITING TECHNIQUES
GIRARD, N
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 247 : 474 - 474
[45] COMBINATORY LOGIC AND ALGORITHMS
NOLIN, L
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 272 (23): : 1485 - &
[46] DISCRIMINATORS IN COMBINATORY LOGIC
LONGO, G
VENTURINIZILLI, M
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 458 - 459
[47] COMBINATORY LOGIC AND ALGORITHMS
NOLIN, L
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 272 (22): : 1435 - &
[48] On Reversible Combinatory Logic
Di Pierro, Alessandra
Hankin, Chris
Wiklicky, Herbert
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 135 (03) : 25 - 35
[49] 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
[50] Reversible combinatory logic
Di Pierro, Alessandra
Hankin, Chris
Wiklicky, Herbert
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2006, 16 (04) : 621 - 637

← 1 2 3 4 5 →