路易斯·梅纳施·谢赫特
人员信息
优化列表
2010 – 2019
2015 [j6] 路易斯·梅纳施·谢赫特 :
似是而非的辩解逻辑。 理论。 计算。 科学。 603 : 132-145 ( 2015 ) 2014 [j5] 弗朗西尔伯·马丁斯·费雷拉 , 西贝尔·马托斯·弗雷尔 , 马里奥·R·F·贝内维提斯 , 路易斯·梅纳施·谢赫特 , 安娜·特蕾莎·C·马丁斯 :
混合逻辑中的多项式层次图属性。 J.计算。 系统。 科学。 80 ( 6 ) : 1087-1101 ( 2014 ) 【j4】 马里奥·R·F·贝内维提斯 , 路易斯·梅纳谢·谢克特 :
命题动态逻辑,用于与CCS并行运算符通信并发程序。 J.日志。 计算。 24 ( 4 ) : 919-951 ( 2014 ) 2012 【c7】 路易斯·梅纳施·谢赫特 :
合理理由的逻辑。 沃尔利克 2012 : 306-320 2011 [j3] 马里奥·R·F·贝内维提斯 , 路易斯·梅纳谢·谢克特 :
图和混合逻辑的多维乘积研究。 理论。 计算。 科学。 412 ( 37 ) : 4946-4966 ( 2011 ) 【c6】 弗朗西尔伯·马丁斯·费雷拉 , 西贝尔·马托斯·弗雷尔 , 马里奥·R·F·贝内维提斯 , 路易斯·梅纳施·谢赫特 , 安娜·特蕾莎·C·马丁斯 :
混合逻辑与NP图属性。 沃尔利克 2011 : 123-134
2000 – 2009
2009 [注2] 马里奥·R·F·贝内维提斯 , 路易斯·梅纳施·谢赫特 :
使用模态逻辑来表示和检查全局图属性。 日志。 J.IGPL公司 17 ( 5 ) : 559-587 ( 2009 ) 【c5】 马里奥·R·F·贝内维提斯 , 路易斯·梅纳施·谢赫特 :
基于pi-Calculus的并发程序命题动态逻辑。 400万 2009 : 49-64 【c4】 马里奥·R·F·贝内维提斯 , 路易斯·梅纳施·谢赫特 :
图与混合逻辑的乘积。 LSFA公司 2009 : 103-118 [i1] 马里奥·R·F·贝内维提斯 , 路易斯·梅纳施·谢赫特 :
基于CCS的并发程序通信动态逻辑。 CoRR公司 abs/0904.0034 ( 2009 ) 2008 【c3】 马里奥·R·F·贝内维提斯 , 路易斯·梅纳施·谢赫特 :
CCS程序的命题动态逻辑。 沃尔利克 2008 : 83-97 【c2】 路易斯·梅纳施·谢赫特 :
哈密顿图的逻辑方法。 LSFA公司 2008 : 123-138 2007 [c1] 马里奥·R·F·贝内维提斯 , 路易斯·梅纳施·谢赫特 :
图形属性的模态表达。 LSFA公司 2007 : 31-47 2006 [j1] S.C.库蒂尼奥 , 路易斯·梅纳施·谢赫特 :
全纯叶理的代数解:算法方法。 J.塞姆。 计算。 41 ( 5 ) : 603-618 ( 2006 )