克里斯蒂安·米肖
人员信息
优化列表
2010 – 2019
2000 – 2009
2009 [j8] 托马斯·布里海耶 , 克里斯蒂安·米肖 , 塞德里克·里维尔 :
闭有序微分场理论中的单元分解和维数函数。 Ann.纯粹应用。 日志。 159 ( 1-2 ) : 111-128 ( 2009 ) 2006 [j7] 托马斯·布里海耶 , 克里斯蒂安·米肖 :
《o最小混杂系统的表达性和可判定性》的勘误表[J.Complexity 21(2005)447-478]。 J.复杂。 22 ( 三 ) : 431-434 ( 2006 ) 2005 [j6] 托马斯·布里海耶 , 克里斯蒂安·米肖 :
关于o-极小混合系统的表示性和可判定性。 J.复杂。 21 ( 4 ) : 447-478 ( 2005 ) 2004 【c5】 托马斯·布里海耶 , 克里斯蒂安·米肖 , 塞德里克·里维尔 , 克里斯托夫·特洛伊斯特勒 :
关于O-极小混合系统。 高强度混凝土 2004 : 219-233 2001 [j5] 凯瑟琳·费内 , 克里斯蒂安·米肖 :
前言。 Ann.纯粹应用。 日志。 111 ( 1-2 ) : 1-2 ( 2001 ) 2000 【j4】 谢本·达维德 , 克劳斯·梅尔 , 克里斯蒂安·米肖 :
关于NPImage中非完全问题的注记。 J.复杂。 16 ( 1 ) : 324-332 ( 2000 ) [j3] 克里斯蒂安·米肖 , 克里斯托弗·特罗斯特勒 :
实闭域上BSS递归可枚举集的同构定理。 西奥。 计算。 科学。 231 ( 2 ) : 253-273 ( 2000 )
1990 – 1999
1998 【c4】 克里斯蒂安·米肖 , 克里斯托弗·特罗斯特勒 :
实闭域上BSS递归可枚举集的同构定理。 单片机(1) 1998 : 116-139 1996 [注2] 克里斯蒂安·米肖 , 罗杰·维尔梅尔 :
Presburger算法与自动机对自然数集的识别:Cobham定理和Semenov定理的新证明。 Ann.纯粹应用。 日志。 77 ( 三 ) : 251-277 ( 1996 ) 1994 [j1] 克里斯蒂安·米肖 :
P!=(P!=) 非标准实上的NP意味着P!= NP超过R。 西奥。 计算。 科学。 133 ( 1 ) : 95-104 ( 1994 ) 1993 【c3】 克里斯蒂安·米肖 , 罗杰·维尔梅尔 :
从Büchi定理看科巴姆T定理。 ICALP公司 1993 : 325-334 1991 【c2】 乔治·汉塞尔 , 丹尼尔·克罗布 , 克里斯蒂安·米肖 :
随机自动机和有理语言的长度分布。 MFCS公司 1991 : 181-190
1980 – 1989
1983 【c1】 艾琳·科瓦斯基 , 克里斯蒂安·米肖 :
MIDOC:结构化文档管理的微机系统。 IFIP大会 1983 : 567-572
1970 – 1979
1973 【b1】 克里斯蒂安·米肖 :
关于协方差矩阵的联合国信息:联络信息。 法国格勒诺布尔约瑟夫·傅里叶大学, 1973