Higher Hierarchies of Equational Theories Lacking Recursive Uniformity.

数学 计算机科学 域代数上的 理论计算机科学 纯数学
作者
Benjamin Wells
出处
期刊:International Journal of Unconventional Computing 卷期号:5: 237-252

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
蕉太狼完成签到,获得积分10
刚刚
jj发布了新的文献求助10
2秒前
TRK完成签到,获得积分10
2秒前
4秒前
大模型应助bofu采纳,获得10
4秒前
7秒前
ured发布了新的文献求助10
8秒前
搞怪冷风发布了新的文献求助10
8秒前
9秒前
风筝发布了新的文献求助10
9秒前
科研通AI2S应助lemkier采纳,获得10
9秒前
星辰大海应助科研通管家采纳,获得10
11秒前
11秒前
Orange应助科研通管家采纳,获得10
12秒前
完美世界应助科研通管家采纳,获得10
12秒前
不配.应助科研通管家采纳,获得20
12秒前
不配.应助科研通管家采纳,获得20
12秒前
烟花应助bofu采纳,获得10
12秒前
13秒前
谦让鹏涛发布了新的文献求助10
14秒前
黄龙完成签到,获得积分10
15秒前
powell完成签到,获得积分10
15秒前
17秒前
兔子完成签到,获得积分10
18秒前
天天快乐应助搞怪冷风采纳,获得10
21秒前
22秒前
22秒前
23秒前
洁面乳发布了新的文献求助10
25秒前
心房子应助精明尔曼采纳,获得10
26秒前
27秒前
27秒前
我是老大应助bofu采纳,获得10
27秒前
29秒前
30秒前
尹雪儿完成签到 ,获得积分10
30秒前
31秒前
32秒前
33秒前
Quin完成签到,获得积分10
33秒前
高分求助中
Sustainability in Tides Chemistry 2000
Bayesian Models of Cognition:Reverse Engineering the Mind 800
Essentials of thematic analysis 700
A Dissection Guide & Atlas to the Rabbit 600
Very-high-order BVD Schemes Using β-variable THINC Method 568
Внешняя политика КНР: о сущности внешнеполитического курса современного китайского руководства 500
Revolution und Konterrevolution in China [by A. Losowsky] 500
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3124628
求助须知:如何正确求助?哪些是违规求助? 2774905
关于积分的说明 7724757
捐赠科研通 2430459
什么是DOI,文献DOI怎么找? 1291134
科研通“疑难数据库(出版商)”最低求助积分说明 622066
版权声明 600323