Church-Rosser theorems for abstract reduction modulo an equivalence relation

作者
Enno Ohlebusch
出处
期刊:Lecture Notes in Computer Science [Springer Science+Business Media]
卷期号:: 17-31 被引量:29
标识
DOI:10.1007/bfb0052358

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
jijiguo完成签到,获得积分10
1秒前
清修完成签到,获得积分10
2秒前
godfrey完成签到,获得积分10
3秒前
3秒前
3秒前
嘻嘻完成签到 ,获得积分10
3秒前
Willwzh完成签到,获得积分10
3秒前
六六发布了新的文献求助10
3秒前
5秒前
大模型的应助被unbreakable采纳,获得10
6秒前
Efficient完成签到 ,获得积分10
6秒前
啊啊啊啊啊啊啊完成签到,获得积分10
7秒前
书记完成签到,获得积分10
7秒前
8023完成签到,获得积分10
7秒前
叫什么都行完成签到 ,获得积分10
8秒前
Joehq_1203发布了新的文献求助10
8秒前
kk完成签到 ,获得积分10
8秒前
辛夷发布了新的文献求助10
10秒前
脆条完成签到 ,获得积分10
10秒前
英姑的应助被科研通管家采纳,获得10
10秒前
天天快乐的应助被科研通管家采纳,获得10
10秒前
赘婿的应助被科研通管家采纳,获得10
10秒前
雪霏完成签到 ,获得积分10
10秒前
10秒前
Samuel完成签到,获得积分0
11秒前
马登完成签到,获得积分10
11秒前
慕青的应助被天天采纳,获得10
11秒前
华西胖旭完成签到,获得积分10
12秒前
陈雅玲完成签到 ,获得积分10
12秒前
piaoaxi完成签到 ,获得积分10
12秒前
木啦完成签到,获得积分10
12秒前
PPM完成签到,获得积分10
13秒前
lin完成签到 ,获得积分10
13秒前
野山完成签到,获得积分10
14秒前
keithyoung完成签到,获得积分10
15秒前
chloe完成签到,获得积分10
16秒前
豆芽拌饭完成签到 ,获得积分10
17秒前
而当下的完成签到,获得积分10
17秒前
辛夷完成签到,获得积分10
18秒前
Roy完成签到,获得积分10
19秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Aspects of Post-SPE Phonology 2000
Performance standards for antimicrobial disk and dilution susceptibility tests for bacteria isolated from animals 888
Rosenblum, Global Change Biology 800
Holistic Discourse Analysis, Second Edition by Robert E. Longacre (2012-09-10) 666
Final Report for the 2-D Test of Model 901 Rotor and Wing Airfoils (BSWT 592) 528
Berberine regulates the TLR4 signaling pathway to suppress hypoxia-induced proliferation and migration of pulmonary arterial smooth muscle cells 520
热门求助领域 (近24小时)
化学 材料科学 医学 生物 计算机科学 工程类 纳米技术 物理 有机化学 化学工程 内科学 生物化学 复合材料 催化作用 心理学 细胞生物学 无机化学 电极 光电子学 人工智能
热门帖子
关注 科研通微信公众号,转发送积分 7887522
求助须知:如何正确求助?哪些是违规求助? 9399511
关于积分的说明 20832596
捐赠科研通 7489874
什么是DOI,文献DOI怎么找? 3356902
关于科研通互助平台的介绍 2495626
邀请新用户注册赠送积分活动 2385091