Princeton University/University of California, Irvine(米国)
Princeton University/University of California, Irvine(米国)
复制标题
普林斯顿大学/加州大学欧文分校（美国）
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
16 值推理的免割系统
DOI：
--
发表时间：
2005
期刊：
Bulletin of the Section of Logic 34(4)
影响因子：
--
作者：
上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広
通讯作者：
上出哲広
一般空间上算法随机性的统一测试
影响因子：
1.1
作者：
P. Gács
通讯作者：
P. Gács
（克莱恩行动）的非充分证明理论（代数格）
DOI：
10.4230/lipics.csl.2018.19
发表时间：
2018
期刊：
ArXiv
影响因子：
--
作者：
Anupam Das;D. Pous
通讯作者：
D. Pous
直觉非正态模态逻辑：通用框架
影响因子：
1.5
作者：
Tiziano Dalmonte;Charles Grellois;N. Olivetti
通讯作者：
N. Olivetti
算术和集合论中的内范畴性
DOI：
10.1215/00294527-2835038
发表时间：
2015
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
J. Väänänen;Tong Wang
通讯作者：
Tong Wang