编辑配置文件（在新选项卡中打开） 弗拉基米尔·科门丹斯基 合著者距离 作者ID： 科蒙丹斯基.vladimir 发布日期： 弗拉基米尔·科门丹斯基；弗拉基米尔·科门丹斯基 已编制索引的文档： 4出版物自2008年起 审查活动： 58评论 合著者： 4位合著者具有3联合出版物 133位合作作者 合著者 1 单作者的 2 Olexandr科诺瓦洛夫 2 斯蒂芬·林顿（Stephen A.Linton）。 1 帕特里夏·约翰 1 叶卡捷琳娜·科门丹茨卡亚 系列 领域 4 计算机科学（68至XX） 1 范畴理论；同调代数（18-XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用5中的次5文件 引用人▼ 年份▼ 逻辑编程的结构解析。 Zbl 1407.68082号 帕特里夏·约翰；叶卡捷琳娜·科门丹茨卡亚；弗拉基米尔·科门丹斯基 4 2015 Coq+SSReflect与GAP接口。 Zbl 1294.68124号 弗拉基米尔·科门丹斯基；亚历山大·科诺瓦洛夫；史蒂夫·林顿 1 2012 逻辑编程的结构解析。 Zbl 1407.68082号 帕特里夏·约翰；叶卡捷琳娜·科门丹茨卡亚；弗拉基米尔·科门丹斯基 4 2015 Coq+SSReflect与GAP接口。 Zbl 1294.68124号 弗拉基米尔·科门丹斯基；亚历山大·科诺瓦洛夫；史蒂夫·林顿 1 2012 全部的 前5名10位作者引用 三 叶卡捷琳娜·科门丹茨卡亚 1 大卫·安科纳 1 弗朗西斯科·达格尼诺 1 傅鹏 1 弗拉基米尔·科门丹斯基 1 Olexandr科诺瓦洛夫 1 李，岳 1 斯蒂芬·林顿（Stephen A.Linton）。 1 权力，约翰 1 埃琳娜·祖卡 3篇连载文章中引用 1 计算的形式方面 1 逻辑程序设计理论与实践 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 5 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文