Continuous and Monotone Machines
Continuous and Monotone Machines
复制标题
连续和单调机器
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Holger Thies
中科院分区：
文献类型：
--
作者：
Michal Konecny;Florian Steinberg;Holger Thies
登录
查看更多内容
完成选择
DOI：
10.1016/j.apal.2020.102914
发表时间：
2019
期刊：
ArXiv
影响因子：
--
作者：
V. Brattka;G. Gherardi
通讯作者：
G. Gherardi
魏赫劳赫走向布劳威尔式
DOI：
10.1017/jsl.2020.76
发表时间：
2018
期刊：
The Journal of Symbolic Logic
影响因子：
--
作者：
Vasco Brattka;Guido Gherardi
通讯作者：
Guido Gherardi
影响因子：
0.6
作者：
Capretta, Venanzio
通讯作者：
Capretta, Venanzio
Kleene-Kreisel 连续泛函的建设性表现
DOI：
10.1016/j.apal.2016.04.011
发表时间：
2016
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
M. Escardó;Chuangjie Xu
通讯作者：
Chuangjie Xu
正在考虑在《交互式定理证明中的数学结构》中发表。
DOI：
--
发表时间：
2011
期刊：
--
影响因子：
--
作者：
Ana Bove;Alexander Krauss;Matthieu Sozeau
通讯作者：
Matthieu Sozeau