编辑配置文件（在新选项卡中打开） 弗拉基米尔·扎姆德日耶夫 合著者距离 作者ID： 扎姆德日耶夫·弗拉基米尔 发布日期： 弗拉基米尔·扎姆德日耶夫 已编制索引的文档： 16出版物自2009年起，包括4个附加arXiv预打印 1名编辑贡献 合著者： 18位合著者具有13联合出版物 346位合作作者 全部的 前5名合著者 4 单作者的 5 Mislove，Michael W。 4 伯特·林登霍维斯 三 贾晓东 三 亚历克斯·基辛格 1 蒂图安·卡雷特 1 加泰林·大卫 1 德扬·基涅夫 1 迈克尔·科尔哈斯 1 安德烈·科内尔 1 路易斯·莱蒙尼埃 1 谢恩·曼斯菲尔德 1 迪米塔尔·米西 1 罗曼·佩乔 1 西蒙·佩德里克斯 1 马西斯·雷内拉 1 克里斯蒂安·施罗德·德维特 1 海因里希·斯坦默约翰斯 1 贝诺缬氨酸 系列 1 计算机科学中的逻辑方法 1 理论计算机科学电子论文集（EPTCS） 领域 10 计算机科学（68至XX） 4 量子理论（81-XX） 三 数学逻辑和基础（03-XX） 三 范畴理论；同调代数（18-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用77中的次52文件 引用人▼ 年份▼ Quantomic：图解推理的证明助手。 Zbl 1465.68288号 亚历克斯·基辛格;弗拉基米尔·扎姆德日耶夫 29 2015 丰富线性/非线性lambda演算：字符串图的编程语言。 Zbl 1454.03023号 Lindenhovius，伯特;Mislove，迈克尔;弗拉基米尔·赞季耶夫 13 2018 对于量子力学来说，ZX演算是不完整的。 Zbl 1467.81028号 克里斯蒂安·施罗德·德维特;弗拉基米尔·扎姆德日耶夫 11 2014 归纳数据类型的量子编程：因果关系和仿射类型理论。 Zbl 1442.68034号 罗曼·佩乔;西蒙·佩德里克;马西斯·雷内拉;弗拉基米尔·扎姆德日耶夫 9 2020 LNL-FPC：线性/非线性不动点演算。 Zbl 07350775号 伯特·林登霍维斯;Mislove，迈克尔;弗拉基米尔·扎姆德日耶夫 5 2021 用无上下文弦图族进行等式推理。 Zbl 1321.68332号 亚历克斯·基辛格;弗拉基米尔·扎姆德日耶夫 5 2015 来自LaTeX的MathML-aware文章转换的比较研究。 Zbl 1176.68233号 海因里希·斯坦默约翰斯;德扬·基涅夫;加泰林·大卫;迪米塔尔·米西;弗拉基米尔·扎姆德日耶夫;迈克尔·科尔哈斯 4 2009 通过切片类别的一阶仿射归纳数据类型的语义。 Zbl 1480.68011号 弗拉基米尔·扎姆德日耶夫 1 2020 LNL-FPC：线性/非线性不动点演算。 Zbl 07350775号 伯特·林登霍维斯;Mislove，迈克尔;弗拉基米尔·扎姆德日耶夫 5 2021 归纳数据类型的量子编程：因果关系和仿射类型理论。 兹比尔1442.68034 罗曼·佩乔;西蒙·佩德里克斯;马西斯·雷内拉;弗拉基米尔·扎姆德日耶夫 9 2020 通过切片类别的一阶仿射归纳数据类型的语义。 Zbl 1480.68011号 弗拉基米尔·扎姆德日耶夫 1 2020 丰富线性/非线性lambda演算：一种用于字符串图的编程语言。 Zbl 1454.03023号 伯特·林登霍维斯;Mislove，迈克尔;弗拉基米尔·扎姆德日耶夫 13 2018 Quantomatic：图表推理的证明助手。 Zbl 1465.68288号 亚历克斯·基辛格;弗拉基米尔·赞季耶夫 29 2015 用无上下文弦图族进行等式推理。 Zbl 1321.68332号 亚历克斯·基辛格;弗拉基米尔·扎姆德日耶夫 5 2015 对于量子力学来说，ZX演算是不完整的。 Zbl 1467.81028号 克里斯蒂安·施罗德·德维特;弗拉基米尔·扎姆德日耶夫 11 2014 来自LaTeX的MathML-aware文章转换的比较研究。 Zbl 1176.68233号 海因里希·斯坦默约翰斯;德扬·基涅夫;加泰林·大卫;迪米塔尔·米西;弗拉基米尔·扎姆德日耶夫;迈克尔·科尔哈斯 4 2009 所有引用出版物 前5名被引用出版物 全部的 前5名69位作者引用 9 亚历克斯·基辛格 7 西蒙·佩德里克斯 7 弗拉基米尔·扎姆德日耶夫 6 巴布亚州索波辛斯基 6 法比奥·扎纳西 5 菲利波·邦奇 5 雷诺德·维尔马特 4 法比奥·加杜奇 4 伊曼纽尔·詹德尔 4 王全龙 三 米丽亚姆·巴肯斯 三 乔瓦尼·德·费利塞 三 罗斯·邓肯 三 大卫·雅各布（David Jakob），雷特（Reutter） 三 杰米·维卡里 2 卡雷特，蒂图安 2 鲍勃·科克 2 德扬·基涅夫 2 阿马尔·哈齐哈萨诺维奇 2 多米尼克·霍斯曼 2 迈克尔·科尔哈斯 2 伯特·林登霍维斯 2 布鲁斯·米勒。 2 吴康峰 2 马西斯·雷内拉 2 海因里希·斯坦默约翰斯 2 贝诺缬氨酸 2 van de Wetering，约翰 1 阿迈勒·艾哈迈德 1 马林·阿尔滕米勒 1 罗布·D·阿尔森。 1 塞巴斯蒂安·巴丁 1 比卡什·K·贝赫拉。 1 弗朗索瓦·博博特 1 克利斯朵夫·查尔顿 1 丹尼尔·西卡拉 1 加泰林·大卫 1 瑞希德·埃哈希德 1 穆纳乔·埃切宁 1 安德鲁·法根 1 艾米·费尔蒂（Amy P.Felty）。 1 利亚姆·加维 1 古德蒙德·格罗夫 1 纳维亚古普塔 1 杰扎·延恰 1 阿莫拉克·拉坦·卡拉 1 丹尼尔·李卡塔（Daniel R.Licata）。 1 林玉辉 1 穆罕默德·尤斯里·马哈茂德 1 迈赫迪·姆哈拉 1 赫克托·米勒·贝克韦尔 1 Mislove，Michael W。 1 新，Max S。 1 普拉桑塔·帕尼格拉希。 1 埃文·帕特森 1 罗曼·佩乔 1 尼古拉斯·佩尔蒂埃 1 瓦伦丁·佩雷尔 1 希罗曼·普拉卡什 1 快点，大卫 1 莫里茨·舒博茨 1 戴维·斯皮瓦克。 1 萨姆·斯塔顿 1 亚历克西斯·图米 1 德米特里·瓦格纳 1 乔里斯·范德霍温 1 巴斯·韦斯特班 1 加布里埃尔·威克 1 保罗·W·威尔逊。 全部的 前5名15连载 4 计算机科学中的逻辑方法 2 MSCS公司。计算机科学中的数学结构 1 纯粹与应用代数杂志 1 理论计算机科学 1 符号计算杂志 1 自动推理杂志 1 函数编程杂志 1 美国医学会杂志 1 量子信息处理 1 计算机科学中的数学 1 物理学杂志A：数学与理论 1 形式化推理期刊 1 程序设计中的逻辑和代数方法杂志 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 高层建筑 全部的 前5名在9个字段中引用 32 计算机科学（68至XX） 27 量子理论（81-XX） 22 范畴理论；同调代数（18-XX） 6 数学逻辑和基础（03-XX） 4 线性代数和多线性代数；矩阵理论（15-XX） 1 组合数学（05-XX） 1 结合环与代数（16-XX） 1 功能分析（46倍X倍） 1 数学教育（97-XX） 按年份列出的引文