COMBINATORY-LOGIC OR STANDARD THEORY OF SETS

被引：0

|

作者：

PENA, L ^{[1
]}

机构：

[1] CSIC,INST PHILOSOPHY,MADRID 6,SPAIN

来源：

ARBOR-CIENCIA PENSAMIENTO Y CULTURA | 1989年 / 132卷 / 520期

关键词：

D O I：

暂无

中图分类号：

C [社会科学总论];

学科分类号：

03 ; 0303 ;

摘要：

引用

收藏

页码：33 / 73

页数：41

相关论文

共 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] ON THE COMPLEXITY OF THE STANDARD TRANSLATION OF LAMBDA CALCULUS INTO COMBINATORY LOGIC
Lachowski, Lukasz
REPORTS ON MATHEMATICAL LOGIC, 2018, 53 : 19 - 42
[43] GENERAL MODELS FOR TYPE THEORY BASED ON COMBINATORY LOGIC
SELDIN, JP
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (03) : 544 - &
[44] COMBINATORY LOGIC AS THE FIRST-ORDER MATHEMATICAL THEORY
江明德
文蕙
ChineseScienceBulletin, 1989, (24) : 2079 - 2083
[45] 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
[46] COMBINATORY LOGIC AND ALGORITHMS
NOLIN, L
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 272 (23): : 1485 - &
[47] DISCRIMINATORS IN COMBINATORY LOGIC
LONGO, G
VENTURINIZILLI, M
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 458 - 459
[48] COMBINATORY LOGIC AND ALGORITHMS
NOLIN, L
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 272 (22): : 1435 - &
[49] On Reversible Combinatory Logic
Di Pierro, Alessandra
Hankin, Chris
Wiklicky, Herbert
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 135 (03) : 25 - 35
[50] 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

← 1 2 3 4 5 →