编辑配置文件(在新选项卡中打开) 路易斯·梅纳施·谢赫特 合著者距离 作者ID: schechter.luis-manasche(schechter-luis-manasche) 发布日期: 谢赫特,L.Menasché;MenaschéSchechter,L。;路易斯·梅纳施·谢赫特 更多。。。较少的 主页: http://www.dcc.ufrj.br/~路易斯/ 编入索引的文档: 14出版物自2006年起 合著者: 5位合著者具有11联合出版物 52位合作作者 合著者 三 单作者的 9 贝内维特斯,马里奥·R·F·。 2 南卡罗来纳州库蒂尼奥。 2 西贝尔·马托斯·弗雷尔 2 阿娜·特蕾莎·马丁斯 1 弗朗西克勃·马丁斯·费雷拉 全部的 前5名系列 2 理论计算机科学 1 计算机与系统科学杂志 1 纯粹与应用代数杂志 1 符号计算杂志 1 逻辑与计算杂志 1 IGPL逻辑杂志 全部的 前5名领域 12 数学逻辑和基础(03-XX) 12 计算机科学(68至XX) 5 组合数学(05-XX) 2 几个复变量和分析空间(32-XX) 2 动力系统和遍历理论(37至XX) 1 交换代数(13-XX) 1 常微分方程(34-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用39中的次30文件 引用人▼ 年份▼ 全纯叶理的代数解:一种算法方法。 Zbl 1134.32011年 南卡罗来纳州库蒂尼奥。;谢赫特,L.Menasché 8 2006 CCS程序的命题动态逻辑。 Zbl 1156.03031号 贝内维特斯,马里奥·R·F·。;谢赫特,L.Menasché 8 2008 平面向量场的代数解。 Zbl 1155.37035号 南卡罗来纳州库蒂尼奥。;MenaschéSchechter,L。 6 2009 使用模态逻辑来表示和检查全局图形属性。 Zbl 1181.03032号 贝内维特斯,马里奥·R·F·。;谢赫特,L.Menasché 4 2009 基于(pi)演算的并发程序的命题动态逻辑。 兹比尔1345.68228 贝内维特斯,马里奥·R·F·。;谢赫特,L.Menasché 4 2010 似是而非的辩解逻辑。 Zbl 1362.03013号 路易斯·梅纳施·谢赫特 2 2012 命题动态逻辑,用于与CCS并行运算符通信并发程序。 Zbl 1303.03067号 贝内维特斯,马里奥·R·F·。;谢克特,L.Menasché 2 2014 图形属性的模态表达。 Zbl 1277.03026号 贝内维特斯,马里奥·R·F·。;MenaschéSchechter,L。 2 2008 混合逻辑和NP图属性。 Zbl 1326.68141号 费雷拉,弗朗西斯卡·马丁斯;西贝尔·马托斯·弗雷尔;贝内维特斯,马里奥·R·F·。;谢克特,L.Menasché;阿娜·特蕾莎·马丁斯 1 2011 似是而非的辩解逻辑。 Zbl 1331.03023号 谢赫特,L.Menasché 1 2015 图和混合逻辑的乘积。 Zbl 1291.05166号 贝内维特斯,马里奥·R·F·。;MenaschéSchechter,L。 1 2009 似是而非的辩解逻辑。 Zbl 1331.03023号 谢赫特,L.Menasché 1 2015 命题动态逻辑,用于与CCS并行运算符通信并发程序。 Zbl 1303.03067号 贝内维特斯,马里奥·R·F·。;谢赫特,L.Menasché 2 2014 似是而非的辩解逻辑。 Zbl 1362.03013号 路易斯·梅纳施·谢赫特 2 2012 混合逻辑和NP图属性。 Zbl 1326.68141号 费雷拉,弗朗西斯卡·马丁斯;西贝尔·马托斯·弗雷尔;贝内维特斯,马里奥·R·F·。;谢赫特,L.Menasché;阿娜·特蕾莎·马丁斯 1 2011 基于(pi)演算的并发程序的命题动态逻辑。 Zbl 1345.68228号 贝内维特斯,马里奥·R·F·。;谢赫特,L.Menasché 4 2010 平面向量场的代数解。 兹比尔1155.37035 南卡罗来纳州库蒂尼奥。;MenaschéSchechter,L。 6 2009 使用模态逻辑来表示和检查全局图形属性。 Zbl 1181.03032号 贝内维特斯,马里奥·R·F·。;谢赫特,L.Menasché 4 2009 图和混合逻辑的乘积。 Zbl 1291.05166号 贝内维特斯,马里奥·R·F·。;MenaschéSchechter,L。 1 2009 CCS程序的命题动态逻辑。 Zbl 1156.03031号 贝内维特斯,马里奥·R·F·。;谢赫特,L.Menasché 8 2008 图形属性的模态表达。 Zbl 1277.03026号 贝内维特斯,马里奥·R·F·。;MenaschéSchechter,L。 2 2008 全纯叶理的代数解:一种算法方法。 Zbl 1134.32011年 南卡罗来纳州库蒂尼奥。;谢赫特,L.Menasché 8 2006 所有引用出版物 前5名被引用出版物 全部的 前5名39位作者引用 9 贝内维特斯,马里奥·R·F·。 6 南卡罗来纳州库蒂尼奥。 6 路易斯·梅纳施·谢赫特 2 纪尧姆Chèze 2 爱德华·赫尔曼·海尔 2 布鲁诺·多梅尼西亚诺·洛佩斯 1 阿林·博斯坦 1 佐埃·克里斯托夫 1 科林·克里斯托弗。 1 托马斯·克鲁索 1 达莫塔,路易斯·安东尼奥·坎皮尼奥·佩雷拉 1 马科斯·达席尔瓦·费雷拉 1 de Freitas、Renata P。 1 杜阿尔特,L.G.S。 1 樊、团房 1 菲利佩·拉莫斯·费雷拉 1 Folhadela Benevides,马里奥·罗伯托 1 西贝尔·马托斯·弗雷尔 1 詹姆斯·盖特 1 延斯·乌尔里克·汉森 1 雷米·贾伊 1 艾奥尼斯·科基尼 1 邱恩·荣·廖 1 刘志明 1 尧姆·利布雷 1 马卡拉姆萨博利马,伊萨克 1 亚历山大·马德拉 1 阿娜·特蕾莎·马丁斯 1 马丁斯(Manuel António Martins) 1 米兰达·内托(Cleto B.Miranda Neto)。 1 查拉·潘塔齐 1 内纳德·萨维奇 1 伊恩·斯图尔特(Iain A.Stewart)。 1 托马斯·施图德 1 布鲁诺·特奥 1 彼得鲁西奥·维亚纳 1 塞巴斯蒂安·沃尔彻 1 雅克·亚瑟·韦尔 1 张元瑞 全部的 前5名14篇连载文章中引用 4 理论计算机科学 三 应用逻辑杂志 2 计算数学 2 纯粹与应用代数杂志 1 美国数学月刊 1 傅里叶学会年鉴 1 代数杂志 1 计算机与系统科学杂志 1 微分方程杂志 1 数学应用学报 1 复杂性杂志 1 巴西数学学会公报。新系列 1 汇聚数学 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在14个字段中引用 18 数学逻辑和基础(03-XX) 17 计算机科学(68至XX) 7 常微分方程(34-XX) 4 交换代数(13-XX) 三 组合数学(05-XX) 三 几个复变量和分析空间(32-XX) 三 动力系统和遍历理论(37至XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 1 场论和多项式(12-XX) 1 特殊功能(33至XX) 1 微分几何(53至XX) 1 数值分析(65-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文