Combinatorial principles equivalent to weak induction
Combinatorial principles equivalent to weak induction
复制标题
相当于弱归纳法的组合原理
DOI：
10.3233/com-180244
复制
发表时间：
2019
期刊：
影响因子：
0.6
通讯作者：
Yokoyama, Keita
中科院分区：
文献类型：
--
作者：
Davis, Caleb;Hirschfeldt, Denis R.;Hirst, Jeffry;Pardo, Jake;Pauly, Arno;Yokoyama, Keita
登录
查看更多内容
关于连续可约性诱导的（半）晶格
影响因子：
0.3
作者：
A. Pauly
通讯作者：
A. Pauly
DOI：
10.1016/j.ic.2015.03.005
发表时间：
2013
期刊：
Inf. Comput.
影响因子：
--
作者：
V. Brattka;G. Gherardi;R. Hölzl
通讯作者：
R. Hölzl
通过 Lawvere-Tierney 拓扑的可计算性理论和逆向数学
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
Takehiro Hasegawa;Takashi Komatsu;Norio Konno;Hayato Saigo;Seiken Saito;Iwao Sato;Shingo Sugiyama;Takayuki Kihara
通讯作者：
Takayuki Kihara
多项式因式分解和 Σ10 归纳
影响因子：
0.8
作者：
S. G. Simpson;Rick L. Smith
通讯作者：
Rick L. Smith
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
J. Hirst
通讯作者：
J. Hirst