Russian Constructivism in a Prefascist Theory

大会通讯 Anneée:2020年

前法西斯理论中的俄罗斯建构主义

(1, 2)

1
2

皮尔雷·马里·佩德罗

南特国立科学实验室

加莱内特：新圣母院助理主教练

例外情况句法模型预切依赖类型严格命题类型理论控制原语马尔可夫原理

信息[cs] 信息逻辑[cs.LO]

菲奇尔校长

主pdf（612.51 Ko）

原籍	菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

https://inria.hal.science/hal-02548315

Soumis le:lundi 20 avril阿芙里尔2020-16:33:31

Dernière修改le:jeudi 15 février 2024-03:30:52

哈尔-02548315，版本1 (20-04-2020)

皮尔雷·马里·佩德罗。前法西斯理论中的俄罗斯建构主义。LICS 2020-第三十五届ACM/IEEE计算机科学逻辑年会，2020年7月，德国萨尔布吕肯。第1-14页，⟨10.1145/3373718.3394740⟩。⟨哈尔-02548315⟩

UNIV-NANTES公司电信研究所 UNIV-RENNES1公司中国科学院印度 EC-NANTES公司 IRISA公司联阿援助团收入2 UR1-数学STIC LS2N型 UR1-UFR-ISTIC LS2N-GALLINETTE公司 UNIV-RENNES公司 UR1-数学编号南特大学

672 磋商

1159 交易费用