默认搜索操作

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

问别人

米拉德·尼基

>主页 >珀森斯

人员信息

附属： 荷兰阿姆斯特丹国家数学和计算机科学研究所

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2013
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/NiquiR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/NiquiR13
米拉德·尼基,Jan J.M.M.Rutten先生:
流处理联合。科学。计算。程序。 78(11):2192-2215(2013)
2012
[电子3]
- 看法
- 出口记录
  dblp键：
  - conf/itp/2010标准
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/2010par
叶卡捷琳娜·科门丹茨卡娅,安娜·波夫,米拉德·尼基:
交互式定理证明程序中的偏爱和递归，ITP的PAR2010年7月15日，英国爱丁堡。 EPiC系列5,轻松头发 2012 [目录]
2011
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/NiquiR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/NiquiR11
米拉德·尼基,Jan J.M.M.Rutten先生:
通过归纳法证明Moessner定理。高。订购符号。计算。 24(三):191-206(2011)
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mics/CollinsNR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mics/CollinsNR11
彼得·柯林斯,米拉德·尼基,Nathalie Revol公司:
一个经过验证的实函数微积分。数学。计算。科学。 5(4):437-467(2011)
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/雅各布斯NRS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/JacobsNRS11
雅各布施,米拉德·尼基,Jan J.M.M.Rutten先生,亚历山德拉·席尔瓦:
前言。西奥。计算。科学。 412(38):4967-4968(2011)
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsen/CostaNR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsen/CostaNR11
大卫·科斯塔,米拉德·尼基,Jan J.M.M.Rutten先生:
意向自动机：组件连接器的上下文相关模型（扩展抽象）。 FSEN公司 2011:335-342
2010
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/NiquiR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/NiquiR10
米拉德·尼基,Jan J.M.M.Rutten先生:
共导流微积分中的采样、分裂和合并。 MPC公司 2010:310-330
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/雅各布斯NRS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/JacobsNRS10
雅各布施,米拉德·尼基,Jan J.M.M.Rutten先生,亚历山德拉·席尔瓦:
前言。 CMCS@预计到达时间 2010:1-2
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/HasuoJN10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/HasuoJN10
哈朔一郎,雅各布施,米拉德·尼基:
分形的代数表示理论。 MFPS公司 2010:351-368
[电子2]
- 看法
- 出口记录
  dblp键：
  - conf/cmcs/2010
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cmcs/2010
雅各布施,米拉德·尼基,Jan J.M.M.Rutten先生,亚历山德拉·席尔瓦:
第十届计算机科学协代数方法研讨会论文集，CMCS@预计到达时间2010年3月26日至28日，塞浦路斯帕福斯。理论计算机科学电子笔记264(2),爱思维尔 2010 [目录]
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1012-4555
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1012-4555
安娜·波夫,叶卡捷琳娜·科门丹茨卡娅,米拉德·尼基:
交互式定理证明程序中的偏爱性和递归研讨会论文集，PAR 2010，英国爱丁堡，2010年7月15日。 EPTCS系统43,2010 [目录]

2000 – 2009

请参阅常见问题解答

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

2009
【c8】
- 看法
  - 电子版@ioc.ee（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fics/NiquiR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fics/NiquiR09
米拉德·尼基,简·鲁顿:
共导谓词作为最后的余代数。菲莎国际学院 2009:79-85
2008
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Niqui08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Niqui08
米拉德·尼基:
精确实数算法中的共导形式推理。日志。方法计算。科学。 4(三)(2008)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/NiquiT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/NiquiT08
米拉德·尼基,奥尔加·特维雷蒂纳:
Coq验证用混合系统的模块化开发。高速列车控制中心 2008:638-641
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/types/Niqui08文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/Niqui08
米拉德·尼基:
Coq中的协同推理：互模拟和lambda-Coiteration方案。类型 2008:272-288
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0807-1669
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0807-1669
米拉德·尼基:
精确实数算法中的共导形式推理。 CoRR公司 abs/0807.1669(2008)
2007
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jda/Niqui07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jda/Niqui07
米拉德·尼基:
Stern-Brocot树上的精确算法。 J.离散算法 5(2):356-379(2007)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/SpittersGNW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/SpittersGNW07
低音喷溅,赫尔曼·杰弗斯,米拉德·尼基,弗里克·维迪克:
专题前言：结构分析、类型和精确实数。数学。结构。计算。科学。 17(1):1(2007)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/GeuversNSW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/GeuversNSW07
赫尔曼·杰弗斯,米拉德·尼基,低音喷溅,弗里克·维迪克:
构造性分析、类型和精确实数。数学。结构。计算。科学。 17(1):3-36(2007)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/Niqui07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/Niqui07
米拉德·尼基:
构造型理论中Edalat-Potts精确算法的生产力。理论计算。系统。 41(1):127-154(2007)
2006
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/HughesN06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HughesN06
杰西·休斯,米拉德·尼基:
允许的数字集。西奥。计算。科学。 351(1):61-73(2006)
[c5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/types/Niqui06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/Niqui06
米拉德·尼基:
精确实数的单纯形和二次算法的共导正确性。类型 2006:203-220
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Niqui06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Niqui06
米拉德·尼基:
精确实数和广义余度的共导域。 CMCS公司 2006:121-139
2005
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Niqui05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Niqui05
米拉德·尼基:
形式化类型理论中的精确算法。 CiE公司 2005:368-377
2003
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/types/NiquiB03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/NiquiB03
米拉德·尼基,伊夫·贝托特:
QArith：懒惰有理算法的Coq形式化。类型 2003:309-323
2000
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/types/GeuversN00型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/GeuversN00（网址：https://dblp.org/rec/conf/types/GeuversN00）
赫尔曼·杰弗斯,米拉德·尼基:
Coq中的构造域：公理和范畴。类型 2000:79-95

管理网站设置

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