编辑配置文件(在新选项卡中打开) Schmidt,Renate A。 合著者距离 作者ID: 施密特复兴a 发布日期: Schmidt,Renate A。;雷娜特·施密特;施密特,R.A。;施密特,R。 更多。。。较少的 主页: 网址:http://www.cs.man.ac.uk/~施密特/ 外部链接: MGP公司 已编制索引的文档: 75出版物自1992年以来,包括1本书 8作为编辑的贡献 合著者: 61位合著者具有72联合出版物 1247名合作作者 全部的 前5名合著者 11 单作者的 24 乌尔里希Hustadt 16 德米特里·蒂什科夫斯基 3 莉莉亚·乔治耶娃 3 帕特里克·科普曼 3 汉斯·尤根·奥巴赫 3 法比奥·帕帕奇尼 3 David E.Rydeheard。 3 约翰·G·斯特尔。 2 彼得·鲍姆加特纳 2 奥拉夫·拜尔斯多夫 2 克里斯·布林克 2 勒罗伊·周 2 克莱尔·迪克森 2 迈克尔·费希尔 2 穆罕默德·科达达迪 2 马丁·苏达 2 赵仪征 1 鲁巴·阿拉萨夫 1 谢尔盖·巴贝尼舍夫 1 鲁道夫·伯格哈默 1 乔舒亚·布林霍恩 1 卡塔琳娜·布里茨 1 汉斯·德·尼维尔 1 沃伦·德尔·潘特 1 托马斯·艾特 1 帕斯卡·方丹 1 恩里科·弗兰科尼 1 Dov M.加巴伊。 1 哈拉尔德·甘辛格 1 瓦伦丁·F·戈兰科。 1 克劳迪奥·古铁雷斯 1 齐格弗里德·汉德施 1 托马斯·希伦布兰德 1 鲍里斯·科涅夫 1 克里斯托夫·迈耶 1 约翰·朱尔斯·查尔斯·梅耶 1 Cláudia Nalon 1 或者艾瓦·奥斯卡。 1 碧姬·皮恩卡 1 伊恩·普拉特·哈特曼 1 马克·亚历山大·雷诺兹 1 克里斯托弗·林盖森 1 玛丽·克里斯汀·罗塞特 1 罗斯蒂斯拉夫·鲁塞夫 1 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 1 穆斯塔法·萨克 1 尤里·萨特勒 1 斯蒂芬·舒尔茨 1 杰夫·萨特克利夫 1 斯扎·阿斯、安德烈吉 1 塞尔吉奥·特萨利斯 1 Topić,达利博尔 1 迪米特·瓦卡雷洛夫 1 范德霍克,威比 1 乌韦·沃尔德曼 1 海因里希·西奥多 1 克里斯托夫·韦登巴赫 1 安娜·扎曼斯基 1 Micha Zawidzki 1 郑森 1 尤尼·佐哈尔 全部的 前5名系列 6 自动推理杂志 5 计算机科学课堂讲稿 2 逻辑与计算杂志 2 数学与人工智能年鉴 2 ACM计算逻辑事务 2 应用逻辑杂志 1 计算机与数学及其应用 1 信息处理信件 1 Studia Logica公司 1 逻辑科公报 1 符号计算杂志 1 计算的形式方面 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 IGPL逻辑杂志 1 逻辑研究(伦敦) 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 领域 64 数学逻辑和基础(03-XX) 53 计算机科学(68至XX) 7 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 68出版物有被引用397中的次200份文件 引用人▼ 年份▼ 系统描述:Spass 3.0版。 Zbl 1213.68577号 克里斯托夫·韦登巴赫;Schmidt,Renate A。;托马斯·希伦布兰德;罗斯蒂斯拉夫·鲁塞夫;主题,Dalibor 28 2007 二阶量词消除。基础、计算方面和应用。 Zbl 1165.03011号 Dov M.加巴伊。;Schmidt,Renate A。;斯扎·阿斯、安德烈吉 26 2008 模态逻辑的基于分辨率的方法。 Zbl 0947.03014号 汉斯·德·尼维尔;Schmidt,Renate A。;乌尔里希Hustadt 19 2000 自底向上模型生成方法的阻塞和其他增强。 Zbl 1222.68357号 彼得·鲍姆加特纳;Schmidt,Renate A。 16 2006 MSPASS:通过翻译和一阶分辨率进行模态推理。 Zbl 0963.68522号 乌尔里希Hustadt;Schmidt,Renate A。 15 2000 模态逻辑的功能翻译和二阶框架性质。 Zbl 0976.03019号 汉斯·尤根·奥巴赫;Schmidt,Renate A。 13 1997 将公理纳入模态公式的一阶翻译的原则。 Zbl 1278.03031号 Schmidt,Renate A。;乌尔里希Hustadt 13 2003 解析框架下描述逻辑的可判定性问题。 Zbl 0955.03018号 乌尔里希Hustadt;Schmidt,Renate A。 12 2000 自动扣除–CADE-22。第22届自动扣款国际会议,2009年8月2日至7日,加拿大蒙特利尔。诉讼程序。 兹比尔1167.68006 12 2009 保护公式的超分辨率。 Zbl 1020.03007号 莉莉亚·乔治耶娃;乌尔里希Hustadt;Schmidt,Renate A。 11 2003 使用分辨率测试模态可满足性并建立模型。 Zbl 1005.03010号 乌尔里希Hustadt;Schmidt,Renate A。 10 2002 一种确定描述逻辑、模态逻辑和相关一阶片段的通用表方法。 Zbl 1165.03319号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 10 2008 S4中检查规则可接受性的表方法。 Zbl 1345.03033号 谢尔盖·巴贝尼舍夫;弗拉基米尔·里巴科夫;Schmidt,Renate A。;蒂什科夫斯基,德米特里 9 2010 模态逻辑的一阶分解方法。 Zbl 1383.03031号 Schmidt,Renate A。;乌尔里希Hustadt 9 2013 命题模态逻辑的可判定性。 兹比尔0924.68178 Schmidt,Renate A。 8 1999 所有Sahlqvist公式的SCAN都是完整的。 兹比尔1088.03019 V.戈兰科。;美国Hustadt。;施密特,R.A。;瓦卡列洛夫,D。 8 2004 模态定理证明器的实证分析。 Zbl 1033.03501号 乌尔里希Hustadt;Schmidt,Renate A。 7 1999 一个新的子句类,可以通过超分辨率判定。 Zbl 1072.68573号 莉莉亚·乔治耶娃;乌尔里希Hustadt;Schmidt,Renate A。 7 2002 皮尔士代数。 Zbl 0811.03047号 克里斯·布林克;卡塔琳娜·布里茨;Schmidt,Renate A。 7 1994 表结石的自动合成。 Zbl 1218.03012号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 7 2011 数一数二:(mathcal{SHQ})本体的统一插值。 Zbl 1423.68482号 帕特里克·科普曼;Schmidt,Renate A。 7 2014 凹槽逻辑的一种解析决策过程。 Zbl 0963.03006号 Schmidt,Renate A。;乌尔里希Hustadt 6 2000 K4扩展的基于分辨率的决策程序。 Zbl 0993.03017号 哈拉尔德·甘辛格;乌尔里希Hustadt;克里斯托夫·迈耶;Schmidt,Renate A。 6 2001 关于命题动态逻辑和多论模态逻辑的组合。 Zbl 1184.03012号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 6 2008 双直觉模态逻辑:基础和自动化。 Zbl 1359.03018号 约翰·G·斯特尔。;Schmidt,Renate A。;大卫·赖德海尔 6 2016 模态逻辑的公理化翻译原则。 Zbl 1367.03045号 Schmidt,Renate A。;乌尔里希Hustadt 6 2007 马斯洛夫的K级课程重温。 Zbl 0937.03017号 乌尔里希Hustadt;Schmidt,Renate A。 5 1999 开发演绎方法的新方法。 Zbl 1192.68632号 Schmidt,Renate A。 5 2009 使用tableau确定具有完全角色否定和身份的描述逻辑。 Zbl 1287.03031号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 5 2014 agent动态逻辑中知识、行动和承诺之间的交互。 邮编1077.03007 Schmidt,Renate A。;蒂什科夫斯基,德米特里;乌尔里希Hustadt 4 2004 描述逻辑\(\mathcal{SHOI}\)的一种具有控制块的精细表演算。 Zbl 1401.68307号 穆罕默德·科达达迪;Schmidt,Renate A。;蒂什科夫斯基,德米特里 4 2013 表结石的自动合成。 Zbl 1218.03011号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 4 2009 将QBF分辨率计算提升到DQBF。 Zbl 1475.68431号 奥拉夫·拜尔斯多夫;勒罗伊·周;Schmidt,Renate A。;马丁·苏达 4 2016 保护公式的计算空间效率和最小模型生成。 Zbl 1275.68091号 莉莉亚·乔治耶娃;乌尔里希Hustadt;Schmidt,Renate A。 4 2001 具有信息测试的多智能体动态逻辑。 Zbl 1059.68131号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 4 2004 自底向上模型生成方法的阻塞和其他增强。 Zbl 1468.68279号 彼得·鲍姆加特纳;Schmidt,Renate A。 4 2020 用代数计算的吸积。 Zbl 0825.68604号 克里斯·布林克;Schmidt,Renate A。 3 1992 将分级模式转换为谓词逻辑。 Zbl 0874.03021号 霍尔巴赫,H.J。;施密特,R。;美国Hustadt。 3 1996 使用分辨率来测试模态可满足性和构建模型。 Zbl 0984.03012号 乌尔里希Hustadt;Schmidt,Renate A。 3 2000 KARO代理理论中的验证。 兹伯利0988.68180 乌尔里希Hustadt;克莱尔·迪克森;Schmidt,Renate A。;迈克尔·费希尔;约翰·朱尔斯·迈耶;范德霍克,威比 3 2001 \(E)-(S4)子系统的统一。 Zbl 0903.03013号 Schmidt,Renate A。 3 1998 模态表中的简化和回跳。 Zbl 0909.03014号 乌尔里希Hustadt;Schmidt,Renate A。 3 1998 扩展模态逻辑的机械化推理和模型生成。 Zbl 1203.03020号 Schmidt,Renate A。;乌尔里希Hustadt 3 2003 将动态逻辑与多道模态逻辑相结合。 Zbl 1081.03023号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 3 2003 最小模态模型生成的表格演算。 Zbl 1347.03048号 法比奥·帕帕奇尼;Schmidt,Renate A。 3 2011 计算机科学中的关系和克莱恩代数。2006年8月29日至9月2日在英国曼彻斯特举行的第九届计算机科学关系方法国际会议和第四届克莱恩代数应用国际研讨会,RelMiCS/AKA 2006。诉讼程序。 兹比尔1134.68009 3 2006 通过一阶分辨率开发模态表和分辨率方法。 Zbl 1151.03013号 Schmidt,Renate A。 3 2006 模态逻辑、对应理论和二阶约简的阿克曼方法。 Zbl 1248.03039号 Schmidt,Renate A。 3 2012 重新解释依赖方案:DQBF中的健全性和不完整性。 Zbl 1468.03008号 奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;勒罗伊·周;雷娜特·施密特;马丁·苏达 3 2019 具有阻塞和同余闭包的模态表系统。 Zbl 1471.03018号 Schmidt,Renate A。;乌韦·沃尔德曼 3 2015 公理化和基于表格的推理(Kt(H,R))。 Zbl 1385.03026号 Schmidt,Renate A。;约翰·G·斯特尔。;大卫·赖德海尔 3 2014 模态逻辑和时序逻辑的范式和证明。 Zbl 0964.03011号 美国Hustadt。;狄克逊,C。;施密特,R.A。;M·费希尔。 2 2000 关于PDL和S5的公理化产品:替代、测试和知识。 Zbl 1037.03032号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 2 2002 通过时间分辨率决定单音片段。 Zbl 1135.03332号 乌尔里希Hustadt;鲍里斯·科涅夫;Schmidt,Renate A。 2 2005 FAME:一种用于表达描述逻辑中语义遗忘的自动化工具。 Zbl 1511.68279号 赵仪征;Schmidt,Renate A。 2 2018 使用不动点的\(\mathcal{ALC}\)-本体的统一插值。 Zbl 1397.68163号 帕特里克·科普曼;Schmidt,Renate A。 2 2013 忘记了\(\mathcal{ALCH}\)-本体中的概念和角色符号。 Zbl 1407.68481号 帕特里克·科普曼;Schmidt,Renate A。 2 2013 改进了模态逻辑中的二阶量词消除。 Zbl 1178.03033号 Schmidt,Renate A。 2 2008 皮尔士代数的两个证明系统。 Zbl 1088.03056号 Schmidt,Renate A。;或者鄂尔多斯卡;乌尔里希Hustadt 2 2004 解析是许多命题模态逻辑的决策过程。 Zbl 0913.03019号 Schmidt,Renate A。 1 1998 计算模态逻辑的最小模子模拟。 Zbl 1398.03095号 法比奥·帕帕奇尼;Schmidt,Renate A。 1 2013 动态信念和知识的多智能体逻辑。 Zbl 1013.68211号 Schmidt,Renate A。;德米特里·蒂什科夫斯基 1 2002 终止命题模态逻辑的最小模型生成过程。 Zbl 1423.68289号 法比奥·帕帕奇尼;Schmidt,Renate A。 1 2014 MetTeL公司:带有逻辑无关推理引擎的tableau证明程序。 Zbl 1332.68205号 蒂什科夫斯基,德米特里;Schmidt,Renate A。;穆罕默德·科达达迪 1 2011 演绎计算的模拟与合成。 Zbl 1345.68254号 Schmidt,Renate A。 1 2010 FAME(Q):一个自动工具,用于在限定数字限制的描述逻辑中遗忘。 Zbl 07178999号 赵仪征;Schmidt,Renate A。 1 2019 表为双教学时态逻辑的发展。 Zbl 1345.03042号 约翰·G·斯特尔。;Schmidt,Renate A。;大卫·赖德海尔 1 2014 表达描述逻辑中的语义遗忘。 Zbl 07497919号 穆斯塔法·萨克;Schmidt,Renate A。 1 2021 表达描述逻辑中的语义遗忘。 Zbl 07497919号 萨克,莫斯塔法;Schmidt,Renate A。 1 2021 自底向上模型生成方法的阻塞和其他增强。 Zbl 1468.68279号 彼得·鲍姆加特纳;Schmidt,Renate A。 4 2020 重新解释依赖方案:DQBF中的健全性和不完整性。 Zbl 1468.03008号 奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;勒罗伊·周;雷娜特·施密特;马丁·苏达 3 2019 FAME(Q):一种具有限定数限制的描述逻辑中遗忘的自动化工具。 Zbl 07178999号 赵仪征;Schmidt,Renate A。 1 2019 FAME:表达描述逻辑中语义遗忘的自动工具。 Zbl 1511.68279号 赵仪征;Schmidt,Renate A。 2 2018 双教学模式逻辑:基础和自动化。 Zbl 1359.03018号 约翰·G·斯特尔。;Schmidt,Renate A。;大卫·赖德海尔 6 2016 将QBF分辨率计算提升到DQBF。 Zbl 1475.68431号 奥拉夫·拜尔斯多夫;勒罗伊·周;Schmidt,Renate A。;马丁·苏达 4 2016 具有阻塞和同余闭包的模态表系统。 Zbl 1471.03018号 Schmidt,Renate A。;乌韦·沃尔德曼 3 2015 数一数二:(mathcal{SHQ})本体的统一插值。 Zbl 1423.68482号 帕特里克·科普曼;Schmidt,Renate A。 7 2014 使用tableau确定具有完全角色否定和身份的描述逻辑。 兹比尔1287.03031 Schmidt,Renate A。;蒂什科夫斯基,德米特里 5 2014 公理化和基于表格的推理(Kt(H,R))。 Zbl 1385.03026号 Schmidt,Renate A。;约翰·G·斯特尔。;大卫·赖德海尔 3 2014 终止命题模态逻辑的最小模型生成过程。 Zbl 1423.68289号 法比奥·帕帕奇尼;Schmidt,Renate A。 1 2014 表为双教学时态逻辑的发展。 Zbl 1345.03042号 约翰·G·斯特尔。;Schmidt,Renate A。;大卫·赖德海尔 1 2014 模态逻辑的一阶分解方法。 Zbl 1383.03031号 Schmidt,Renate A。;乌尔里希Hustadt 9 2013 描述逻辑(mathcal{SHOI})的一种改进的表演算,带有受控块。 Zbl 1401.68307号 穆罕默德·科达达迪;Schmidt,Renate A。;蒂什科夫斯基,德米特里 4 2013 使用不动点对\(\mathcal{ALC}\)-本体进行统一插值。 Zbl 1397.68163号 帕特里克·科普曼;Schmidt,Renate A。 2 2013 忘记了\(\mathcal{ALCH}\)-本体中的概念和角色符号。 Zbl 1407.68481号 帕特里克·科普曼;Schmidt,Renate A。 2 2013 计算模态逻辑的最小模子模拟。 兹比尔1398.03095 法比奥·帕帕奇尼;Schmidt,Renate A。 1 2013 模态逻辑、对应理论和二阶约简的阿克曼方法。 Zbl 1248.03039号 Schmidt,Renate A。 3 2012 表格结石的自动合成。 Zbl 1218.03012号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 7 2011 最小模态模型生成的表格演算。 Zbl 1347.03048号 法比奥·帕帕奇尼;Schmidt,Renate A。 3 2011 MetTeL公司:带有逻辑无关推理引擎的tableau证明程序。 Zbl 1332.68205号 蒂什科夫斯基,德米特里;Schmidt,Renate A。;穆罕默德·科达达迪 1 2011 S4中检查规则可接受性的表方法。 Zbl 1345.03033号 谢尔盖·巴贝尼舍夫;弗拉基米尔·里巴科夫;Schmidt,Renate A。;蒂什科夫斯基,德米特里 9 2010 演绎计算的模拟与合成。 Zbl 1345.68254号 Schmidt,Renate A。 1 2010 自动扣除–CADE-22。第22届自动扣款国际会议,2009年8月2日至7日,加拿大蒙特利尔。诉讼程序。 兹比尔1167.68006 12 2009 开发演绎方法的新方法。 Zbl 1192.68632号 Schmidt,Renate A。 5 2009 表结石的自动合成。 Zbl 1218.03011号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 4 2009 二阶量词消除。基础、计算方面和应用。 Zbl 1165.03011号 Dov M.加巴伊。;Schmidt,Renate A。;斯扎·阿斯、安德烈吉 26 2008 一种确定描述逻辑、模态逻辑和相关一阶片段的通用表方法。 Zbl 1165.03319号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 10 2008 命题动态逻辑与多角形模态逻辑的结合。 Zbl 1184.03012号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 6 2008 改进了模态逻辑中的二阶量词消除。 Zbl 1178.03033号 Schmidt,Renate A。 2 2008 系统描述:Spass 3.0版。 Zbl 1213.68577号 克里斯托夫·韦登巴赫;Schmidt,Renate A。;托马斯·希伦布兰德;罗斯蒂斯拉夫·鲁塞夫;主题,Dalibor 28 2007 模态逻辑的公理化翻译原则。 Zbl 1367.03045号 Schmidt,Renate A。;乌尔里希Hustadt 6 2007 自下而上的模型生成方法的阻塞和其他增强。 Zbl 1222.68357号 彼得·鲍姆加特纳;Schmidt,Renate A。 16 2006 计算机科学中的关系和克莱恩代数。2006年8月29日至9月2日在英国曼彻斯特举行的第九届计算机科学关系方法国际会议和第四届克莱恩代数应用国际研讨会,RelMiCS/AKA 2006。诉讼程序。 Zbl 1134.68009号 3 2006 通过一阶分辨率开发模态表和分辨率方法。 Zbl 1151.03013号 Schmidt,Renate A。 3 2006 通过时间分辨率决定单音片段。 Zbl 1135.03332号 乌尔里希Hustadt;鲍里斯·科涅夫;Schmidt,Renate A。 2 2005 所有Sahlqvist公式的SCAN都是完整的。 兹比尔1088.03019 V.戈兰科。;美国Hustadt。;施密特,R.A。;瓦卡列洛夫,D。 8 2004 agent动态逻辑中知识、行动和承诺之间的交互。 邮编1077.03007 Schmidt,Renate A。;蒂什科夫斯基,德米特里;乌尔里希Hustadt 4 2004 具有信息测试的多代理动态逻辑。 Zbl 1059.68131号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 4 2004 皮尔士代数的两个证明系统。 Zbl 1088.03056号 Schmidt,Renate A。;或者鄂尔多斯卡;乌尔里希Hustadt 2 2004 将公理纳入模态公式的一阶翻译的原则。 Zbl 1278.03031号 Schmidt,Renate A。;乌尔里希Hustadt 13 2003 保护公式的超分辨率。 Zbl 1020.03007号 莉莉亚·乔治耶娃;乌尔里希Hustadt;Schmidt,Renate A。 11 2003 扩展模态逻辑的机械化推理和模型生成。 Zbl 1203.03020号 Schmidt,Renate A。;乌尔里希Hustadt 3 2003 将动态逻辑与多道模态逻辑相结合。 Zbl 1081.03023号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 3 2003 使用分辨率测试模态可满足性并建立模型。 Zbl 1005.03010号 乌尔里希Hustadt;Schmidt,Renate A。 10 2002 一个新的子句类,可以通过超分辨率判定。 Zbl 1072.68573号 莉莉亚·乔治耶娃;乌尔里希Hustadt;Schmidt,Renate A。 7 2002 关于PDL和S5的公理化乘积:替换、测试和知识。 Zbl 1037.03032号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 2 2002 动态信念和知识的多智能体逻辑。 Zbl 1013.68211号 Schmidt,Renate A。;蒂什科夫斯基,德米特里 1 2002 K4扩展的基于分辨率的决策程序。 Zbl 0993.03017号 哈拉尔德·甘辛格;乌尔里希Hustadt;克里斯托夫·迈耶;Schmidt,Renate A。 6 2001 保护公式的计算空间效率和最小模型生成。 Zbl 1275.68091号 莉莉亚·乔治耶娃;乌尔里希Hustadt;Schmidt,Renate A。 4 2001 KARO代理理论中的验证。 Zbl 0988.68180号 乌尔里希Hustadt;克莱尔·迪克森;Schmidt,Renate A。;迈克尔·费希尔;约翰·朱尔斯·迈耶;范德霍克,威比 3 2001 模态逻辑的基于分辨率的方法。 Zbl 0947.03014号 汉斯·德·尼维尔;Schmidt,Renate A。;乌尔里希Hustadt 19 2000 MSPASS:通过翻译和一阶分辨率进行模态推理。 Zbl 0963.68522号 乌尔里希Hustadt;Schmidt,Renate A。 15 2000 解析框架下描述逻辑的可判定性问题。 Zbl 0955.03018号 乌尔里希Hustadt;Schmidt,Renate A。 12 2000 凹槽逻辑的一种解析决策过程。 Zbl 0963.03006号 Schmidt,Renate A。;乌尔里希Hustadt 6 2000 使用分辨率测试模态可满足性并建立模型。 Zbl 0984.03012号 乌尔里希Hustadt;Schmidt,Renate A。 3 2000 模态逻辑和时序逻辑的范式和证明。 Zbl 0964.03011号 美国Hustadt。;狄克逊,C。;施密特,R.A。;M·费希尔。 2 2000 命题模态逻辑的可判定性。 Zbl 0924.68178号 Schmidt,Renate A。 8 1999 模态定理证明器的实证分析。 Zbl 1033.03501号 乌尔里希Hustadt;Schmidt,Renate A。 7 1999 马斯洛夫的K级课程重温。 Zbl 0937.03017号 乌尔里希Hustadt;Schmidt,Renate A。 5 1999 \(E)-(S4)子系统的统一。 Zbl 0903.03013号 Schmidt,Renate A。 3 1998 模态表中的简化和回跳。 Zbl 0909.03014号 乌尔里希Hustadt;Schmidt,Renate A。 3 1998 解析是许多命题模态逻辑的决策过程。 兹比尔0913.03019 Schmidt,Renate A。 1 1998 模态逻辑的功能翻译和二阶框架性质。 Zbl 0976.03019号 汉斯·尤根·奥巴赫;Schmidt,Renate A。 13 1997 将分级模态转换为谓词逻辑。 Zbl 0874.03021号 霍尔巴赫,H.J。;施密特,R。;美国Hustadt。 3 1996 皮尔士代数。 Zbl 0811.03047号 克里斯·布林克;卡塔琳娜·布里茨;Schmidt,Renate A。 7 1994 用代数计算的吸积。 Zbl 0825.68604号 克里斯·布林克;Schmidt,Renate A。 3 1992 所有引用出版物 前5名被引用出版物 全部的 前5名277位作者引用 20 Schmidt,Renate A。 14 乌尔里希Hustadt 12 克莱尔·迪克森 7 鲍里斯·莫提克 7 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 6 彼得·鲍姆加特纳 6 迈克尔·费希尔 6 伊恩·霍洛克斯 6 斯扎·阿斯、安德烈吉 6 克里斯托夫·韦登巴赫 5 弗兰兹·巴德 5 克里斯托夫·埃瓦尔德·本兹穆勒 5 玛丽亚·保拉(Maria Paola Bonacina) 5 威廉·康雷迪 5 蒂什科夫斯基,德米特里 4 卡洛斯·阿雷塞斯 4 奥拉夫·拜尔斯多夫 4 Dov M.加巴伊。 4 Cláudia Nalon 4 法比奥·帕帕奇尼 4 尼古拉斯·佩尔蒂埃 4 约翰·G·斯特尔。 4 杰夫·萨特克利夫 3 菲利普·巴尔比亚尼 3 乔舒亚·布林霍恩 3 斯特凡·德姆里。 3 康斯坦蒂诺斯·乔治亚托斯 3 瓦伦丁·F·戈兰科。 3 迪帕克·卡普尔 3 鲍里斯·科涅夫 3 康斯坦丁·科洛文 3 亚历山德拉·帕尔米吉亚诺 3 维奥里卡Sofrone-Stokkerman 3 乔治·斯特鲁斯 3 安德烈·沃伦科夫 3 乌韦·沃尔德曼 3 Christoph Wernhard公司 3 弗兰克·沃尔特 2 娜塔莎·亚历奇纳 2 谢尔盖·巴贝尼舍夫 2 亚历山大·博洛托夫 2 斯特凡·博格沃德 2 埃琳娜·博托埃娃 2 克里斯·布林克 2 卡塔琳娜·布里茨 2 玛尔塔·恰尔迪亚·梅耶 2 伯纳多·昆卡·格劳 2 汉斯·德·尼维尔 2 马尔滕·德·里杰克 2 冯仁彦 2 乌尔里希·富巴赫 2 Çigdem将军 2 乔安娜·戈林斯卡·皮拉雷克 2 里卡多·贡萨阿尔维斯 2 丹尼尔·戈林 2 劳里·T·海拉。 2 彼得·霍夫纳 2 马蒂亚斯·克诺尔 2 迈克尔·科尔哈斯 2 帕特里克·科普曼 2 科瓦奇,劳拉·伊尔迪科 2 特默尔库西亚 2 安蒂·库西斯托 2 约昂·莱特 2 米纳·马哈扬 2 或者艾瓦·奥斯卡。 2 比约恩·佩尔泽 2 弗洛里安·拉贝 2 弗拉迪斯拉夫·里日科夫 2 乌尔里克·萨特勒 2 克劳迪娅·肖恩 2 朱利亚·辛多尼 2 亚历山大·斯蒂恩 2 萨那斯托亚诺维奇 2 马丁·苏达 2 塞萨尔·蒂内利 2 索菲·托雷特 2 迪米特·瓦卡雷洛夫 2 王一松 2 徐,杨 2 迈克尔·维克托洛维奇(Michael Viktorovich) 2 张,兰 1 彼得罗·阿巴特 1 埃曼·阿克 1 克里斯蒂安·阿拉巴阿 1 亚历山德罗·阿塔尔 1 杰里米·阿维加德 1 菲利普·巴特克 1 贝内维特斯,马里奥·R·F·。 1 帕特里克·布莱克本 1 迈克尔·博特纳 1 乍得·布朗·爱德华 1 曹、冯 1 瓦伦特·卡萨诺 1 巴勃罗·卡斯特罗。 1 陈攀峰 1 陈树伟 1 Cheng,车 1 勒罗伊·周 1 科恩·克莱森 …还有177位作者 全部的 前5名30篇连载文章中引用 30 自动推理杂志 10 人工智能 9 Studia Logica公司 9 应用非经典逻辑杂志 9 数学与人工智能年鉴 7 符号计算杂志 7 应用逻辑杂志 5 信息科学 5 信息与计算 5 程序设计中的逻辑和代数方法杂志 4 纯逻辑与应用逻辑年鉴 4 逻辑、语言与信息杂志 3 ACM计算逻辑事务 2 计算机科学中的逻辑方法 2 符号逻辑述评 1 计算机与数学及其应用 1 反问题 1 立陶宛数学杂志 1 模糊集与系统 1 哲学逻辑杂志 1 符号逻辑杂志 1 合成 1 理论计算机科学 1 计算的形式方面 1 骨髓间充质干细胞。计算机科学中的数学结构 1 《数理逻辑季刊》 1 逻辑与逻辑哲学 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 泛逻辑 1 西伯利亚联邦大学学报。数学和物理 全部的 前5名在12个字段中引用 138 计算机科学(68至XX) 137 数学逻辑和基础(03-XX) 6 阶、格、有序代数结构(06-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 历史和传记(01-XX) 1 组合数学(05-XX) 1 一般代数系统(08-XX) 1 范畴理论;同调代数(18-XX) 1 偏微分方程(35-XX) 1 几何图形(51至XX) 1 数值分析(65-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文