ON PSEUDO-C-BETA NORMAL-FORM IN COMBINATORY-LOGIC

被引：2
|
作者：
MEZGHICHE, M
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1989年 / 66卷 / 03期
关键词：
D O I：
10.1016/0304-3975(89)90157-6
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：323 / 331
页数：9
相关论文
共 6 条
1