编辑配置文件（在新选项卡中打开） 玛尔塔·恰尔迪亚·梅耶 合著者距离 作者ID： 夏尔迪亚迈耶·马塔 发布日期： 玛尔塔·恰尔迪亚·梅耶;玛塔·齐尔迪亚·迈耶;玛尔塔·恰尔迪亚 更多。。。较少的 主页： http://cialdea.dia.uniroma3.it/ 外部链接： MGP公司·ORCID公司·谷歌学者·ResearchGate公司 已编制索引的文档： 39出版物自1986年以来，包括1个附加arXiv预打印 1名编辑贡献 合著者： 15位合著者具有29联合出版物 231合著作者 全部的 前5名合著者 10 单作者的 16 塞里托、塞雷内拉 5 安德烈亚·奥兰迪尼 4 卡拉·利蒙盖利 4 菲奥拉·皮里 三 瓦伦蒂娜·波吉奥尼 2 路易斯·法利尼亚斯·德尔·塞罗 1 路易吉亚·卡卢奇·埃利罗（Luigia Carlucci Aiello） 1 罗伯特·德莫洛姆 1 尼古拉·吉甘特 1 老挝文超 1 安吉洛·蒙塔纳里 1 丹尼尔·纳尔迪 1 塞巴斯蒂安·普劳德 1 马克·亚历山大·雷诺兹 1 弗吉尼亚州蒂恩 1 亚历山德罗·乌姆布里科 全部的 前5名系列 4 自动推理杂志 4 应用非经典逻辑杂志 2 理论计算机科学 2 IGPL杂志 1 信息学报 1 信息处理信件 1 多元分析杂志 1 半群论坛 1 Studia Logica公司 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 逻辑、语言与信息杂志 1 IGPL公告 1 IGPL逻辑期刊 1 计算机科学讲义 全部的 前5名领域 30 数学逻辑和基础（03-XX） 20 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 抽象谐波分析（43至XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用96中的次70文件 引用人▼ 年份▼ 通过表格和后续计算的一阶外展。 Zbl 0807.03005号 玛塔·齐尔迪亚·迈耶;菲奥拉·皮里 15 1993 \（U）-最大统计。 Zbl 1153.62046号 老挝，W。;梅耶，M。 13 2008 绑架不是反向演绎。 Zbl 0847.68112号 玛尔塔·恰尔迪亚·梅耶;菲奥拉·皮里 9 1996 有限时间结构上的一阶线性时序逻辑。 Zbl 0939.03022号 塞雷内拉，塞里托;玛尔塔·恰尔迪亚·梅耶;塞巴斯蒂安·普劳德 9 1999 模态逻辑中的命题推导。 Zbl 0847.03010号 玛尔塔·恰尔迪亚·梅耶;菲奥拉·皮里 8 1995 具有灵活时间表的计划和执行：正式账户。 兹比尔1351.90092 玛尔塔·恰尔迪亚·梅耶;安德烈亚·奥兰迪尼;亚历山德罗·乌姆布里科 7 2016 强混合组。 Zbl 0873.43006号 梅耶，M。 5 1997 一种基于表格的决策程序，用于一类带有粘合剂的混合公式。 Zbl 1331.68200号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 5 2011 名义替代与整体和逆向模式一起工作。 Zbl 1254.03030号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 5 2010 线性时态逻辑作为规划语言的可执行语义。 兹比尔1159.68562 玛尔塔·恰尔迪亚·梅耶;卡拉·利蒙盖利;安德烈亚·奥兰迪尼;瓦伦蒂娜·波吉奥尼 4 2007 赫布兰德的财产。 Zbl 0589.03004号 玛尔塔·恰尔迪亚;路易斯·法利尼亚斯·德尔·塞罗 4 1986 具有绑定、传递性和关系层次结构的混合逻辑的证明过程。 Zbl 1381.03018号 玛尔塔·恰尔迪亚·梅耶 4 2013 使用线性时序逻辑来建模和解决规划问题。 Zbl 0927.03049号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 三 1998 混合逻辑表中名义等式的一种有效方法。 Zbl 1242.03029号 塞雷内拉，塞里托;玛塔·齐尔迪亚·迈耶 三 2010 一些一阶模态系统的分辨率。 Zbl 0739.68072号 玛尔塔·恰尔迪亚 2 1991 希律和彼拉多：两个基本混合逻辑的表格证明。 Zbl 1291.68333号 玛尔塔·恰尔迪亚·梅耶;塞雷内拉，塞里托 2 2010 模态逻辑的Herbrand式证明过程。 Zbl 0796.03026号 玛尔塔·恰尔迪亚 2 1993 线性时序逻辑中的有界模型搜索及其在规划中的应用。 Zbl 0903.03016号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 2 1998 关于基于时间的游戏及其复杂性。 Zbl 1433.68409号 尼古拉·吉甘特;安吉洛·蒙塔纳里;安德烈亚·奥兰迪尼;玛尔塔·恰尔迪亚·梅耶;马克·雷诺兹 2 2020 量化模态逻辑的一般定理证明器。 Zbl 1016.68106号 蒂恩，V。;塞里托，S。;玛尔塔·西亚尔达·梅耶尔 2 2002 一种基于表格的决策程序，用于带有绑定器、逆向和全局模式的混合逻辑表达片段。 Zbl 1314.03018号 塞里托、塞雷内拉;玛塔·齐尔迪亚·迈耶 2 2013 关于学生知识和推理的推理。 Zbl 0752.68064号 路易斯娅·卡卢奇·艾略;玛尔塔·恰尔迪亚;丹尼尔·纳尔迪 1 1991 具有刚性和非刚性指定的常域量化模态逻辑的自由变量表。 Zbl 0988.03032号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 1 2001 \（\text的多项式翻译{S} 4个\)到\（\text{T}\）和\（\text）的无收缩表中{S} 4个\). Zbl 0869.03011号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 1 1997 某些命题模态逻辑矩阵决策方法中的Hintikka多重性。 Zbl 1415.03035号 塞雷内拉，塞里托;玛尔塔·恰尔迪亚·梅耶 1 1997 有限帧上命题线性时间逻辑的标签表。 Zbl 0966.03018号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 1 2000 含粘合剂HL片段的扩展决策程序。 Zbl 1314.03025号 玛塔·齐尔迪亚·迈耶 1 2014 关于基于时间的游戏及其复杂性。 Zbl 1433.68409号 尼古拉·吉甘特;安吉洛·蒙塔纳里;安德烈亚·奥兰迪尼;玛尔塔·恰尔迪亚·梅耶;马克·雷诺兹 2 2020 具有灵活时间表的计划和执行：正式账户。 Zbl 1351.90092号 玛尔塔·恰尔迪亚·梅耶;安德烈亚·奥兰迪尼;亚历山德罗·翁布里科 7 2016 含粘合剂HL片段的扩展决策程序。 Zbl 1314.03025号 玛塔·齐尔迪亚·迈耶 1 2014 具有绑定、传递性和关系层次结构的混合逻辑的证明过程。 Zbl 1381.03018号 玛尔塔·恰尔迪亚·梅耶 4 2013 一种基于表格的决策程序，用于带有绑定器、逆向和全局模式的混合逻辑表达片段。 Zbl 1314.03018号 塞里托、塞雷内拉;玛塔·齐尔迪亚·迈耶 2 2013 一种基于表格的决策程序，用于一类带有粘合剂的混合公式。 Zbl 1331.68200号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 5 2011 名义替代在全球和逆向模式下发挥作用。 Zbl 1254.03030号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 5 2010 混合逻辑表中名义等式的一种有效方法。 Zbl 1242.03029号 塞里托、塞雷内拉;玛塔·齐尔迪亚·迈耶 三 2010 希律和彼拉多：基本混合逻辑的两个证明者。 Zbl 1291.68333号 玛尔塔·恰尔迪亚·梅耶;塞里托、塞雷内拉 2 2010 \（U）-最大统计。 Zbl 1153.62046号 老挝，W。;梅耶，M。 13 2008 线性时态逻辑作为规划语言的可执行语义。 Zbl 1159.68562号 玛尔塔·恰尔迪亚·梅耶;卡拉·利蒙盖利;安德烈亚·奥兰迪尼;瓦伦蒂娜·波吉奥尼 4 2007 量化模态逻辑的一般定理证明器。 Zbl 1016.68106号 蒂恩，V。;塞里托，S。;玛尔塔·恰尔迪亚·梅耶 2 2002 具有刚性和非刚性指定的常域量化模态逻辑的自由变量表。 Zbl 0988.03032号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 1 2001 有限帧上命题线性时间逻辑的标签表。 Zbl 0966.03018号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 1 2000 有限时间结构上的一阶线性时序逻辑。 Zbl 0939.03022号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶;塞巴斯蒂安·普劳德 9 1999 使用线性时间逻辑来建模和解决规划问题。 Zbl 0927.03049号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 三 1998 线性时序逻辑中的有界模型搜索及其在规划中的应用。 Zbl 0903.03016号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 2 1998 强烈混合的群体。 Zbl 0873.43006号 梅耶，M。 5 1997 \（\text的多项式翻译{S} 4个\)到\（\text{T}\）和\（\text）的无收缩表中{S} 4个\). Zbl 0869.03011号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 1 1997 某些命题模态逻辑矩阵决策方法中的Hintikka多重性。 Zbl 1415.03035号 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 1 1997 绑架不是反向演绎。 兹伯利0847.68112 玛尔塔·恰尔迪亚·梅耶;菲奥拉·皮里 9 1996 模态逻辑中的命题推导。 Zbl 0847.03010号 玛尔塔·恰尔迪亚·梅耶;菲奥拉·皮里 8 1995 通过表格和后续计算的一阶外展。 Zbl 0807.03005号 玛塔·齐尔迪亚·迈耶;菲奥拉·皮里 15 1993 模态逻辑的Herbrand式证明过程。 Zbl 0796.03026号 玛尔塔·恰尔迪亚 2 1993 一些一阶模态系统的分辨率。 兹比尔0739.68072 玛尔塔·恰尔迪亚 2 1991 关于学生知识和推理的推理。 Zbl 0752.68064号 路易斯娅·卡卢奇·艾略;玛尔塔·恰尔迪亚;丹尼尔·纳尔迪 1 1991 赫布兰德的财产。 兹伯利0589.03004 玛尔塔·恰尔迪亚;路易斯·法利尼亚斯·德尔·塞罗 4 1986 所有引用出版物 前5名被引用出版物 全部的 前5名122位作者引用 13 玛尔塔·恰尔迪亚·梅耶 9 安吉洛·蒙塔纳里 6 塞里托、塞雷内拉 5 诺里希罗·卡米德 4 尼古拉·吉甘特 4 安德烈亚·奥兰迪尼 三 劳拉·博泽利 三 阿德里亚诺·佩隆 三 卡洛斯·恩里克·乌兹卡特奎 2 克莱尔·狄克逊 2 段振华 2 穆纳乔·埃切宁 2 乌尔·恩德里斯 2 路易斯·法利尼亚斯·德尔·塞罗 2 安德烈亚·马西尼 2 阿尔贝托·莫利纳里 2 安格尔，内波穆塞诺·费尔南德斯 2 尼古拉斯·佩尔蒂埃 2 拉蒙皮诺·佩雷斯 2 瓦伦蒂娜·波吉奥尼 2 马克·亚历山大·雷诺兹 2 皮埃特罗·萨拉 2 费尔南多·索勒·托斯卡诺 2 田聪 2 马吕斯·乌尔班斯基 2 Yang，Kai（杨凯） 2 张楠 1 Abdennadher，苗条 1 雷纳托·阿坎波拉 1 马克·艾吉尔 1 阿托查省Aliseda-Llera 1 阿托查·阿里塞达 1 Jean-Marc阿利奥特 1 卡洛斯·阿雷塞斯 1 贾马尔·阿蒂夫 1 马可·巴奥莱蒂 1 斯特凡诺·巴拉泰拉 1 阿德里安·巴索·布兰丁 1 彼得·鲍姆加特纳 1 贝伦，马修 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 伊莎贝尔·布洛赫 1 坎通纳，多梅尼科 1 路易吉亚·卡卢奇·埃利罗（Luigia Carlucci Aiello） 1 梅耶·玛尔塔·恰尔迪亚 1 吉安娜·乔尼 1 阿提里奥·科拉格罗西 1 Frank Delaplace公司 1 黛拉·莫妮卡，达里奥 1 罗伯特·德莫洛姆 1 Stéphane P.德姆里。 1 阿雷利斯·迪亚斯 1 马丁·迪盖兹 1 弗朗切斯科·多尼尼。 1 伊戈尔·杜文 1 杜洪伟 1 帕特里斯·恩贾尔伯特 1 布鲁诺·埃里科 1 马塞洛·芬格 1 迈克尔·费希尔 1 托姆·吕维思 1 卢卡·盖蒂 1 瓦伦丁·F·戈兰科。 1 丹尼尔·戈林 1 乌尔里希·赫斯塔特 1 马克·卡明斯基 1 斯兹蒙·克拉曼 1 马西耶·科莫辛斯基 1 鲍里斯·科涅夫 1 卡罗琳娜·科兹·阿诺夫斯卡 1 亚当·库普斯 1 萨尔瓦多拉托雷 1 多罗塔·莱斯琴斯卡·贾西翁 1 保罗·利伯拉托雷 1 卡拉·利蒙盖利 1 豪尔赫·洛博 1 保罗·曼卡雷拉 1 法比奥·马萨奇 1 阿尔弗雷多·米拉尼 1 杰瑞德·米尔森（Jared A.Millson）。 1 Cláudia Nalon 1 内尔肯，拉尼 1 阮林安 1 玛丽安娜·尼科洛西·阿斯蒙多 1 法比奥·帕帕奇尼 1 马可·巴扎利亚 1 马里奥广场 1 瓦伦蒂诺·皮科蒂 1 加布里埃尔·普奇尼 1 法比奥·罗西 1 米哈伊尔·尼古拉埃维奇·里巴科夫 1 安德烈亚·萨巴蒂尼 1 法里巴·萨德里 1 马尔科·谢尔夫 1 斯特凡·施洛巴赫 1 雷娜特·施密特（Renate A.Schmidt）。 1 托拜厄斯·斯科尔 1 圭多·西亚维科 1 Shan、Chung-chieh 1 德米特里·什卡托夫 …和另外22位作者 全部的 前5名19篇连载文章中引用 10 自动推理杂志 9 理论计算机科学 6 应用非经典逻辑杂志 4 逻辑、语言与信息杂志 4 应用逻辑杂志 三 人工智能 2 立陶宛数学杂志 2 国际近似推理杂志 1 信息学报 1 哲学逻辑杂志 1 合成 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 数学逻辑档案 1 数学与人工智能年鉴 1 组合优化期刊 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 Logicheskie Issledovaniya公司 在5个字段中引用 48 数学逻辑和基础（03-XX） 41 计算机科学（68至XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 生物学和其他自然科学（92-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文