×
作者ID: 马明慧马明慧最近发表的zbMATH文章
发布日期: 马明辉;马明慧
编入索引的文档: 74出版物自1990年以来,包括4个附加arXiv预打印
1名编辑贡献
合著者: 51位合著者具有66联合出版物
1072合著作者

按年份列出的出版物

zbMATH Open中包含的引文

46出版物有被引用165中的次116文件 引用人 年份
作为证明理论工具的统一通信。 Zbl 1444.03055号
朱塞佩·格雷科;马明辉;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯;赵志光
14
2018
考虑到时滞速度差和后视效应,改进了车辆允许模型。 Zbl 1452.65169号
马光毅;马明辉;梁世东;王燕松;张耀宗
13
2020
直觉公告逻辑的代数语义和模型完备性。 Zbl 1320.03050号
马明辉;亚历山德拉·帕尔米吉亚诺;梅赫努什·萨德扎德
13
2014
基于覆盖的粗糙集和模态逻辑。二、。 Zbl 1446.03091号
马明辉;查克拉博蒂,米希尔·库马尔
9
2018
考虑车头时距随记忆变化和后向效应的跟驰模型的非线性分析。 Zbl 07542618号
马光毅;马明辉;梁世东;王燕松;郭慧
9
2021
模态逻辑的伽马图计算。 Zbl 1398.03025号
马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen)
8
2018
基于覆盖的粗糙集和模态逻辑。一、。 Zbl 1446.03090号
马明辉;查克拉博蒂,米希尔·库马尔
8
2016
皮尔士经典命题逻辑演算。 Zbl 1485.03017号
马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen)
7
2020
Belnap-Dunn逻辑有很多弱点。 Zbl 1484.03041号
马明辉;林元雷
7
2020
皮尔士对分配性的连续证明。 Zbl 1485.03065号
马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen)
6
2017
皮尔士α系图的证明分析。 兹比尔1417.03281
马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen)
6
2017
具有后视效应的自动车辆允许车辆模型中的密度波。 Zbl 1481.90120号
马明辉;马光毅;梁世东
6
2021
贝尔纳普·邓恩逻辑的一种确定性弱化。 Zbl 1494.03060号
马明辉;林元雷
5
2019
严格蕴涵的统一对应和证明理论。 Zbl 1444.03082号
马明辉;赵志光
5
2017
如何更新邻域模型。 Zbl 1407.03021号
马明辉;胜彦三野
5
2013
基于CTM的信号交叉口实时排队长度估计。 Zbl 1394.90208号
赵树芝;梁世东;刘华生;马明辉
3
2015
公告数学。 Zbl 1298.03055号
马明辉
3
2011
分级模态语言的Goldblatt-Thomason型定理。 Zbl 1254.03038号
胜彦三野;马明辉
3
2010
半De Morgan和De Morgen代数的序列计算。 Zbl 1437.03181号
马明辉;梁飞
2
2018
让我们调查一下!作为诱拐的形式逻辑的动态猜想。 Zbl 1457.03033号
马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen)
2
2018
通过蒙特卡罗模拟对三参数对数正态分布的估计量进行比较评估。 Zbl 0825.62390号
辛格,V.P。;J.F.克鲁斯。;马,M。
2
1990
各种拓扑拟布尔代数的序列计算。 Zbl 1528.03139号
马明辉;查克拉博蒂,米希尔·库马尔;林哲
2
2018
全局模态结果关系的顺序计算。 Zbl 07100695号
马明辉;陈金生
2
2019
如何更新邻里模型。 Zbl 1444.03033号
马明辉;胜彦三野
2
2018
维瑟命题逻辑的替代语义。 Zbl 1326.03017号
胜彦三野;马明辉
2
2015
否定作为模态运算符的极性语义。 Zbl 1486.03049号
林元雷;马明辉
2
2020
\第二类因子中格拉斯曼空间的(L^p\)-等距。 兹比尔1524.47041
史伟娟;沈俊浩;顾伟晨;马明辉
2
2022
α图的弱化:拟布尔代数。 Zbl 1528.03229号
马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen)
2
2018
动态分级认知逻辑。 Zbl 07171847号
马明辉;汉斯·范·迪特马什
1
2019
高速公路瓶颈区域的集成可变限速控制和匝道计量。 Zbl 1394.90180号
马明慧;杨庆芳;梁世栋;李志林
1
2015
联合元素、应力后处理和超收敛提取,并应用于Mohr-Coulomb破坏。 Zbl 0926.74102号
凯里·G·F·。;马,M。
1
1999
关于剩余布尔代数方程理论的复杂性。 Zbl 1478.03083号
林哲;马明辉
1
2016
优惠券期限对消费者赎回行为和品牌盈利能力的影响。 Zbl 1430.90364号
张泽林;马明辉;Popkowski Leszczyc,Peter T.L。;庄和君
1
2020
一些亚直觉逻辑的标签表系统。 Zbl 1472.03017号
马明辉
1
2019
关于基本命题逻辑的扩展。 Zbl 1432.03017号
马明辉;胜彦三野
1
2015
带有伽罗瓦否定的直觉主义命题逻辑。 Zbl 07678788号
马明辉;李桂英
1
2023
多源容差近似空间的模态逻辑。 Zbl 1303.03050号
马里兰州阿基尔汗;马明辉
1
2010
表aux表示非正常公告逻辑。 Zbl 1304.03047号
马明辉;胜彦三野;弗朗索瓦州施瓦岑特鲁伯;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。
1
2015
动态动态逻辑的代数语义。 Zbl 1471.03033号
马明辉;杰瑞米·塞利格曼
1
2015
直觉公告逻辑的代数语义和模型完备性。 Zbl 1348.03019号
梅赫努什·萨德扎德;亚历山德拉·帕尔米吉亚诺;马明辉
1
2011
带有值运算符的Belnap-Dunn模态逻辑。 Zbl 07424397号
林元雷;马明辉
1
2021
前粗糙代数和可判定性附近的剩余代数结构。 Zbl 07426110号
林哲;查克拉博蒂,米希尔·库马尔;马明辉
1
2021
一些直觉模态逻辑的Gentzen序列计算。 Zbl 1477.03055号
林哲;马明辉
1
2019
有限可替换正规时态逻辑的格。 Zbl 07450687号
马明辉;陈倩
1
2021
基于收费站车道配置和可变限速控制的高速公路最优控制方法。 Zbl 1528.90075号
袁乃通;马明辉;梁世东;王文杰;张,胡
1
2022
直觉主义时态逻辑中否定翻译的证明理论方法。 兹伯利07595959
林哲;马明辉
1
2022
带有伽罗瓦否定的直觉主义命题逻辑。 Zbl 07678788号
马明辉;李桂英
1
2023
\第二类因子中格拉斯曼空间的(L^p\)-等距。 Zbl 1524.47041号
史伟娟;沈俊浩;顾伟晨;马明辉
2
2022
基于收费站车道配置和可变限速控制的高速公路最优控制方法。 Zbl 1528.90075号
袁乃通;马明辉;梁世东;王文杰;张,胡
1
2022
直觉主义时态逻辑中否定翻译的证明理论方法。 Zbl 07595959号
林哲;马明辉
1
2022
考虑车头时距变化和记忆和后向效应的车辆允许模型的非线性分析。 Zbl 07542618号
马光毅;马明辉;梁世东;王岩松;郭慧
9
2021
具有后视效应的自动车辆允许车辆模型中的密度波。 Zbl 1481.90120号
马明辉;马光毅;梁世东
6
2021
带有值运算符的Belnap-Dunn模态逻辑。 Zbl 07424397号
林元雷;马明辉
1
2021
前粗糙代数和可判定性附近的剩余代数结构。 Zbl 07426110号
林哲;查克拉博蒂,米希尔·库马尔;马明辉
1
2021
有限可替换正规时态逻辑的格。 Zbl 07450687号
马明辉;陈倩
1
2021
考虑到时滞速度差和后视效应,改进了车辆允许模型。 Zbl 1452.65169号
马光毅;马明辉;梁世东;王燕松;张耀宗
13
2020
皮尔士经典命题逻辑演算。 Zbl 1485.03017号
马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen)
7
2020
贝尔纳普·邓恩逻辑的弱点数不胜数。 Zbl 1484.03041号
马明辉;林元雷
7
2020
作为模态运算符的否定的极性语义。 Zbl 1486.03049号
林元雷;马明辉
2
2020
优惠券期限对消费者赎回行为和品牌盈利能力的影响。 Zbl 1430.90364号
张泽林;马明辉;Popkowski Leszczyc,Peter T.L。;庄和君
1
2020
Belnap-Dunn逻辑的确定性削弱。 Zbl 1494.03060号
马明辉;林元雷
5
2019
全局模态结果关系的顺序计算。 Zbl 07100695号
马明辉;陈金生
2
2019
动态分级认知逻辑。 兹伯利07171847
马明辉;汉斯·范·迪特马什
1
2019
一些亚直觉逻辑的标签表系统。 Zbl 1472.03017号
马明辉
1
2019
一些直觉模态逻辑的Gentzen序列计算。 Zbl 1477.03055号
林哲;马明辉
1
2019
作为证明理论工具的统一通信。 Zbl 1444.03055号
朱塞佩·格雷科;马明辉;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯;赵志光
14
2018
基于覆盖的粗糙集和模态逻辑。二、。 Zbl 1446.03091号
马明辉;查克拉博蒂,米希尔·库马尔
9
2018
模态逻辑的伽马图计算。 Zbl 1398.03025号
马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen)
8
2018
半De Morgan和De Morgen代数的序列计算。 Zbl 1437.03181号
马明辉;梁飞
2
2018
让我们调查一下!作为诱拐的形式逻辑的动态猜想。 Zbl 1457.03033号
马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen)
2
2018
各种拓扑拟布尔代数的序列计算。 Zbl 1528.03139号
马明辉;查克拉博蒂,米希尔·库马尔;林哲
2
2018
如何更新邻里模型。 Zbl 1444.03033号
马明辉;胜彦三野
2
2018
α图的弱化:拟布尔代数。 Zbl 1528.03229号
马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen)
2
2018
皮尔士对分配性的连续证明。 Zbl 1485.03065号
马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen)
6
2017
皮尔士α系图的证明分析。 Zbl 1417.03281号
马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen)
6
2017
严格蕴涵的统一对应和证明理论。 Zbl 1444.03082号
马明辉;赵志光
5
2017
基于覆盖的粗糙集和模态逻辑。一、。 Zbl 1446.03090号
马明辉;查克拉博蒂,米希尔·库马尔
8
2016
关于剩余布尔代数方程理论的复杂性。 Zbl 1478.03083号
林哲;马明辉
1
2016
基于CTM的信号交叉口实时排队长度估计。 兹比尔1394.90208
赵树芝;梁世东;刘华生;马明辉
3
2015
维瑟命题逻辑的替代语义。 兹伯利1326.03017
胜彦三野;马明辉
2
2015
高速公路瓶颈区域的集成可变限速控制和匝道计量。 Zbl 1394.90180号
马明慧;杨庆芳;梁世栋;李志林
1
2015
关于基本命题逻辑的扩展。 Zbl 1432.03017号
马明辉;胜彦三野
1
2015
表aux表示非正常公告逻辑。 Zbl 1304.03047号
马明辉;胜彦三野;弗朗索瓦州施瓦岑特鲁伯;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。
1
2015
动态动态逻辑的代数语义。 Zbl 1471.03033号
马明辉;杰里米·塞利格曼
1
2015
直觉公告逻辑的代数语义和模型完备性。 Zbl 1320.03050号
马明辉;亚历山德拉·帕尔米吉亚诺;穆罕默德·萨德尔扎德
13
2014
如何更新邻域模型。 Zbl 1407.03021号
马明辉;胜彦三野
5
2013
公告数学。 Zbl 1298.03055号
马明辉
3
2011
直觉公告逻辑的代数语义和模型完备性。 Zbl 1348.03019号
梅赫努什·萨德扎德;亚历山德拉·帕尔米吉亚诺;马明辉
1
2011
分级模态语言的Goldblatt-Thomason型定理。 Zbl 1254.03038号
胜彦三野;马明辉
3
2010
多源容差近似空间的模态逻辑。 Zbl 1303.03050号
马里兰州阿基尔汗;马明辉
1
2010
联合元素、应力后处理和超收敛提取,并应用于Mohr-Coulomb破坏。 Zbl 0926.74102号
凯里·G·F·。;马,M。
1
1999
通过蒙特卡罗模拟对三参数对数正态分布的估计量进行比较评估。 Zbl 0825.62390号
辛格,V.P。;J.F.克鲁斯。;马,M。
2
1990
全部的 前5名

被192位作者引用

23 马明辉
15 亚历山德拉·帕尔米吉亚诺
15 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen)
9 朱塞佩·格雷科
7 阿波斯托洛斯·齐莫利斯
6 威廉·康拉迪
5 查克拉博蒂,米希尔·库马尔
5 胜彦三野
4 克里希纳·B·马诺卡尔。
4 翁贝托·里维奇奥
4 汉斯·皮特·范·迪特马什
4 吴伟条
4 翟聪
3 陈金生
3 丹尼尔·奇菲
3 萨宾·弗里特拉
3 梁飞
3 梁世东
3 林元雷
3 林哲
3 纳乔姆·维恩伯格。
2 安德烈亚·德·多梅尼科
2 谢尔盖·德罗比舍维奇
2 范洁
2 李金金
2 李凌强
2 马光毅
2 Motoura、Shota
2 马蒂亚·帕内蒂埃
2 伊戈尔·塞德拉尔
2 沈俊浩
2 史伟娟
2 乔尼·维尔特玛
1 艾,文欢
1 马吉德·阿里扎德
1 阿尔梅达,墨西哥。
1 Almiñana,费德里科·加布里埃尔
1 扎伊纳布·巴赫蒂亚里
1 Bakhtiarinodeh,扎伊纳布
1 亚历克斯·贝里科夫
1 弗朗切斯科·贝鲁奇
1 巴塔查吉,里图
1 贝尔科娃,玛尔塔
1 安吉丽娜·谢尔盖夫娜·博布罗娃
1 沃伊切赫·巴斯科夫斯基
1 莱昂纳多·曼纽尔·卡布勒
1 吉安卢卡·卡特琳娜
1 陈建忠
1 陈倩
1 陈宇毅
1 程荣军
1 洛帕穆德拉·乔杜里
1 词玉生
1 弗雷德里科·克鲁兹。
1 马科斯·安吉洛。
1 迪克·乔恩。
1 范一鸣
1 阿里·法贾米
1 弗洛雷斯,豪尔赫·阿莱杭德罗
1 甘、京
1 恒河、洛克
1 高燕飞
1 高子友
1 诺伯特·格拉茨
1 斯特凡诺游击队
1 古普塔,阿文德·库马尔
1 韩相恩
1 韩子坤
1 鸠山由纪夫
1 内森·海登
1 马里兰州阿诺瓦尔侯赛因
1 胡凯
1 胡,杨
1 胡燕梅
1 胡、周瑜
1 黄,丹
1 黄,魏
1 黄哲煌
1 贾斌
1 蒋瑞
1 焦、帅扬
1 金、邱
1 金、钻
1 考尔,大吉特
1 马里兰州阿基尔汗
1 Kohei的Kishida
1 索菲亚·奈特
1 奥里邦拉哈夫
1 弗雷德里克·莫勒斯特罗姆·劳里德森
1 李桂英
1 李海军
1 李克平
1 李林恒
1 李伟
1 李宇轩
1 李兆文
1 刘大伟
1 刘敏庄
1 刘晓峰
1 刘新文
…还有92位作者

按年份列出的引文