米哈伊尔·谢勒梅
人员信息
其他同名人员
米哈伊尔·谢勒梅 -托木斯克国立大学理论力学系,俄罗斯
优化列表
2010 – 2019
2010 [注2] 米哈伊尔·谢勒梅 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
用于比较距离和拓扑推理的模态逻辑框架。 Ann.纯应用。 日志。 161 ( 4 ) : 534-559 ( 2010 )
2000 – 2009
2007 [j1] 米哈伊尔·谢勒梅 , 德米特里·蒂什科夫斯基 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
概念和相似性逻辑。 J.日志。 计算。 17 ( 三 ) : 415-452 ( 2007 ) 2006 【c3】 米哈伊尔·谢勒梅 , 德米特里·蒂什科夫斯基 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
从拓扑到度量:度量空间中的模态逻辑和量化。 模态逻辑的进展 2006 : 429-448 2005 【c2】 米哈伊尔·谢列米特 , 德米特里·蒂什科夫斯基 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
“更紧密”的表示和推理。 描述逻辑 2005 【c1】 米哈伊尔·谢列米特 , 德米特里·蒂什科夫斯基 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
比较相似性、树自动机和丢番图方程。 LPAR公司 2005 : 651-665