A BASIS RESULT IN COMBINATORY-LOGIC

被引：0

作者：

LEGRAND, R

机构：

来源：

关键词：

D O I：

10.2307/2274616

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：1224 / 1226

页数：3

相关论文

共 6 条

[1] A NEW PROOF FOR CRAIGS THEOREM
BELLOT, P
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) : 395 - 396
[2] HINDLEY JR, 1986, INTRO COMBINATORS LA
[3] CONFLUENT REDUCTIONS - ABSTRACT PROPERTIES AND APPLICATIONS TO TERM REWRITING SYSTEMS
HUET, G
[J]. JOURNAL OF THE ACM, 1980, 27 (04) : 797 - 821
[4] KLOP JW, 1980, MATH CTR TRACTS, V127
[5] ODONNELL MJ, 1977, LECTURE NOTES COMPUT, V58
[6] [No title captured]