停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

弗拉基米尔·扎姆德日耶夫

弗拉基米尔·尼古拉耶夫·扎姆季耶夫

>主页 >珀森斯

人员信息

附属： LORIA，Nancy，法国
隶属关系（前）： 英国牛津大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/DandyJZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/DandyJZ23
莉莲·乔伊·丹迪,伊曼纽尔·詹德尔,弗拉基米尔·扎姆德日耶夫:
Idris中的类型安全量子编程。员工持股计划 2023:507-534
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CaretteLZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CaretteLZ23
Titouan光标,路易斯·莱蒙尼尔,弗拉基米尔·扎姆德日耶夫:
计算的中心子音和概念：健全性、完整性和内部语言。低收入国家 2023:1-13
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2308-15489
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2308-15489
谢恩·曼斯菲尔德,贝诺？t缬氨酸,弗拉基米尔·扎姆德日耶夫:
《第二十届量子物理与逻辑国际会议论文集》，QPL 2023，巴黎，法国，2023年7月17日至21日。 EPTCS系统384,2023 [目录]
2022
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/JiaKLMZ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/JiaKLMZ22
贾晓东,安德烈·科内尔,伯特·林登霍维斯,迈克尔·米斯洛夫,弗拉基米尔·扎姆德日耶夫:
变分量子编程的语义。程序。ACM计划。语言。 6(POPL公司):1至31(2022)
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AvanziniMPPZ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AvanziniMPPZ22
马丁·阿文齐尼,乔治·莫瑟,罗曼·佩乔,西蒙·佩德里克斯,弗拉基米尔·扎姆德日耶夫:
成本分析用量子期望变压器。低收入国家 2022:10:1-10:13
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2201-09361
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2201-09361
马丁·阿凡齐尼,乔治·莫瑟,罗曼·佩乔,西蒙·佩德里克斯,弗拉基米尔·扎姆德日耶夫:
用于成本分析的量子期望变换器。 CoRR公司 abs/2201.09361(2022)
[i12]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2207-09190
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2207-09190
Titouan光标,路易斯·莱蒙尼尔,弗拉基米尔·扎姆德日耶夫:
中心子菜单和计算概念。 CoRR公司 abs/2207.09190(2022)
2021
[注2]
- 看法
  - 电子版@episciences.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/lmcs/Lindenhovius MZ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/LindenhoviusMZ21
伯特·林登霍维斯,迈克尔·米斯洛夫,弗拉基米尔·扎姆德日耶夫:
LNL-FPC：线性/非线性不动点微积分。日志。方法计算。科学。 17(2)(2021)
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/GiaMZ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/GiaMZ21
贾晓东,迈克尔·米斯洛夫,弗拉基米尔·扎姆德日耶夫:
《中央估价单》（早期思想）。 CALCO公司 2021:18:1至18:5
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/JiaLMZ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JiaLMZ21
贾晓东,伯特·林登霍维斯,迈克尔·米斯洛夫,弗拉基米尔·扎姆德日耶夫:
概率编程语言的交换单数。低收入国家 2021:1-14
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2102-00510
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-00510
贾晓东,伯特·林登霍维斯,迈克尔·米斯洛夫,弗拉基米尔·扎姆德日耶夫:
概率编程语言的交换单数。 CoRR公司 abs/2102.00510(2021)
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2107-13347
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2107-13347
贾晓东,安德烈·科内尔,伯特·林登霍维斯,迈克尔·米斯洛夫,弗拉基米尔·扎姆德日耶夫:
变分量子编程的语义。 CoRR公司 abs/2107.13347(2021)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2111-10867
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2111-10867
莉莲·乔伊·丹迪,伊曼纽尔·詹德尔,弗拉基米尔·扎姆德日耶夫:
Qimaera:Idris中的类型安全（变分）量子编程。 CoRR公司 abs/2111.10867(2021)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2111-10873
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2111-10873
贾晓东,迈克尔·米斯洛夫,弗拉基米尔·扎姆德日耶夫:
中央估价单。 CoRR公司 abs/2111.10873(2021)
2020
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cmcs/Zandzhiev20会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cmcs/Zamdzhiev20
弗拉基米尔·扎姆德日耶夫:
通过切片类别的一阶仿射归纳数据类型的语义。 CMCS公司 2020:180-200
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/PechouxPRZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/PechouxPRZ20
罗曼·佩乔,西蒙·佩德里克斯,马西斯·雷内拉,弗拉基米尔·扎姆德日耶夫:
使用归纳数据类型的量子编程：因果和仿射类型理论。 FoSSaCS公司 2020:562-581
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2005-05433
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2005-05433
弗拉基米尔·扎姆德日耶夫:
亚结构Lambda演算的计算充分性。 ACT公司 2020:322-334
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-2001-060905
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2001-06905
弗拉基米尔·扎姆德日耶夫:
通过切片类别的一阶仿射归纳数据类型的语义。 CoRR公司 abs/2001.06905(2020)

2010年至2019年

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/LindenhoviusMZ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/LindenhoviusMZ19
伯特·林登霍维斯,迈克尔·米斯洛夫,弗拉基米尔·扎姆德日耶夫:
混合线性和非线性递归类型。程序。ACM计划。语言。三(ICFP公司):111:1-111:29(2019)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1906-09649
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1906-09649
弗拉基米尔·扎姆德日耶夫:
反映代数紧致函数。 ACT公司 2019:15-23
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1906-09503
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1906-09503
伯特·林登霍维斯,迈克尔·米斯洛夫,弗拉基米尔·扎姆德日耶夫:
混合线性和非线性递归类型。 CoRR公司 abs/1906.09503(2019)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1910-09633
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1910-09633
罗曼·佩乔,西蒙·佩德里克斯,马西斯·雷内拉,弗拉基米尔·扎姆德日耶夫:
使用归纳数据类型的量子编程：因果和仿射类型理论。 CoRR公司 abs/1910.09633(2019)
2018
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/LindenhoviusMZ18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/LindenhoviusMZ18
伯特·林登霍维斯,迈克尔·米斯洛夫,弗拉基米尔·扎姆德日耶夫:
丰富线性/非线性Lambda演算：字符串图的编程语言。低收入国家 2018:659-668
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03814
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03814
弗拉基米尔·扎姆德日耶夫:
重写字符串图族的框架。 FSCD术语表 2018:63-76
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1804-09822
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1804-09822
伯特·林登霍维斯,迈克尔·米斯洛夫,弗拉基米尔·扎姆德日耶夫:
丰富线性/非线性Lambda演算：字符串图的编程语言。 CoRR公司 abs/1804.09822(2018)
2017
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Zamdzhiev17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Zamdzhiev17
弗拉基米尔·尼古拉耶夫·扎姆季耶夫:
重写字符串图的无上下文族。 CoRR公司 abs/1705.07520(2017)
2016
【b1】
- 看法
- 出口记录
  dblp键：
  - 博士/民族精神/Zamdzhiev16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ethos/Zamdzhiev16
弗拉基米尔·尼古拉耶夫·扎姆季耶夫:
重写字符串图的上下文无关族。英国牛津大学，2016
2015
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KissingerZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KissingerZ15
亚历克斯·基辛格,弗拉基米尔·扎姆德日耶夫:
Quantomatic：图表推理的证明助手。 CADE公司 2015:326-336
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gg/基辛格Z15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gg/KissingerZ15
亚历克斯·基辛格,弗拉基米尔·扎姆德日耶夫:
具有无上下文弦图族的等式推理。国际燃气轮机 2015:138-154
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/腐蚀/KissingerZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KissingerZ15
亚历克斯·基辛格,弗拉基米尔·扎姆德日耶夫:
!-具有微小重叠的图是无上下文的。 GaM公司 2015:16月31日
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KissingerZ15a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KissingerZ15a
亚历克斯·基辛格,弗拉基米尔·扎姆德日耶夫:
Quantomatic：图形推理的证明助手。 CoRR公司 abs/1503.01034(2015)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/Cor/KissingerZ15b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KissingerZ15b
亚历克斯·基辛格,弗拉基米尔·扎姆德日耶夫:
用无上下文弦图族进行等式推理。 CoRR公司 abs/1504.02716(2015)
2014
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/WittZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/WittZ14
克里斯蒂安·施罗德·德维特,弗拉基米尔·扎姆德日耶夫:
对于量子力学来说，ZX演算是不完整的。 QPL公司 2014:285-292

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入才能让他们活跃起来。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。