菲利普·奥德保
人员信息
优化列表
2010 – 2019
2011 [j3] 菲利普·奥德保 , 克里斯汀·保林·莫林 :
前言。 科学。 计算。 程序。 76 ( 三 ) : 159 ( 2011 )
2000 – 2009
2009 [注2] 菲利普·奥德保 , 克里斯汀·保林·莫林 :
Coq中随机算法的证明。 科学。 计算。 程序。 74 ( 8 ) : 568-589 ( 2009 ) 2008 [电子1] 菲利普·奥德保 , 克里斯汀·保林·莫林 :
2008年7月15日至18日,法国马赛,MPC 2008,第九届国际会议,程序构建数学。 诉讼程序。 计算机科学课堂讲稿 5133, 施普林格 2008 ,国际标准图书编号 978-3-540-70593-2 [目录] 2006 【c3】 菲利普·奥德保 , 克里斯汀·保林·莫林 :
Coq中随机算法的证明。 最大功率控制 2006 : 49-68 2003 【c2】 菲利普·奥德保 , 劳伦斯·里多 :
TEXmacs作为正式开发的创作工具。 TPHOL的UITP 2003 : 27-48
1990 – 1999
1999 [j1] 菲利普·奥德保 , 埃琳娜·祖卡 :
从连续语义派生证明规则。 形式方面计算。 11 ( 4 ) : 426-447 ( 1999 ) 1991 【c1】 菲利普·奥德保 :
构造微积分中的部分对象。 低收入国家 1991 : 86-95