编辑配置文件(在新选项卡中打开) 米洛什·科斯特雷克 作者ID: 科斯特雷克米洛斯 发布日期: 米洛什·科斯特雷克 编入索引的文档: 4出版物自2017年起 合著者 4 单作者的 系列 2 合成 1 哲学逻辑杂志 1 应用非经典逻辑杂志 领域 4 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用5中的次4文件 引用人▼ 年份▼ TIL中的置换矛盾及其解决方法和Church-Rosser定理。 Zbl 1484.03006号 米洛什·科斯特雷克 三 2020 关于类型的数量。 兹比尔1417.03079 米洛什·科斯特雷克 2 2017 TIL中的置换矛盾及其解决方法和Church-Rosser定理。 Zbl 1484.03006号 米洛什·科斯特雷克 三 2020 关于类型的数量。 Zbl 1417.03079号 米洛什·科斯特雷克 2 2017 3位作者引用 2 米洛什·科斯特雷克 1 比约恩·杰斯珀森 1 伊沃·佩兹拉 4篇连载文章中引用 1 哲学逻辑杂志 1 合成 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 在1个字段中引用 4 数学逻辑和基础(03-XX) 按年份列出的引文