A BASIS RESULT IN COMBINATORY-LOGIC

被引：0
作者：
LEGRAND, R
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1988年 / 53卷 / 04期
关键词：
D O I：
10.2307/2274616
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：1224 / 1226
页数：3
相关论文
共 6 条
[1]   A NEW PROOF FOR CRAIGS THEOREM [J].
BELLOT, P .
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 [J].
HUET, G .
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]
1