编辑配置文件(在新选项卡中打开) 马提亚斯·巴兹 合著者距离 作者ID: 巴兹马提亚斯 发布日期: 马提亚斯·巴兹;M.巴兹。 主页: https://www.dmg.tuwien.ac.at/baaz/ 外部链接: MGP公司·ORCID公司·维基数据·ResearchGate研究之门·数学-网络。俄罗斯·数据库管理程序·接地·ID参考·论文.fr 已编制索引的文档: 132出版物自1985年以来,包括1本书和4个附加arXiv预打印 8作为编辑的贡献 合著者: 45位合著者具有124联合出版物 1458位联合作者 全部的 前5名合著者 16 单作者的 25 Fermüller,Christian G。 24 亚历山大·莱奇 18 理查德·扎克 16 蝉蜕、阿加塔 12 阿内拉·洛里奇 8 罗莎莉,伊姆霍夫 8 Preining,诺伯特 7 赫尔穆特·维思 6 斯特凡·赫兹尔 4 胡安·巴勃罗·阿奎莱拉 4 乔治·莫瑟 4 格诺·萨尔泽 3 埃格利,乌韦 3 奥利弗·法辛 3 乔治·梅特卡夫 3 克莱门斯·里希特 3 亨德里克·斯波尔 2 彼得·哈耶克 2 查尔斯·朱恩·哈珀。 2 简·克拉契克 2 乔治·克雷塞尔 2 奥里·拉哈夫 2 佛朗哥·蒙塔格纳 2 克里斯托斯·哈里劳斯·帕帕迪米特里奥 2 希拉里·怀特霍尔·普特南 2 达娜·斯图尔特·斯科特 2 丹尼尔·韦勒(Daniel S.Weller)。 2 安娜·扎曼斯基 1 谢尔盖·阿特莫夫 1 诺伯特·布伦纳 1 简·比季奥夫斯克 1 哈维·弗里德曼。 1 Sy-David弗里德曼 1 Dov M.加巴伊。 1 麦哲尔克 1 乔治·戈特洛布 1 约翰·安德烈亚斯·马考斯基 1 阿里·奥夫鲁茨基 1 帕维尔·普德拉克 1 杰拉尔德·奎尔克梅尔 1 吉赛尔·赖斯 1 戴维·什维达 1 卡尔·斯沃齐尔 1 范古尔,塞缪尔·雅各布 1 安德烈·沃伦科夫 1 彼得·沃伊泰拉克 全部的 前5名系列 12 纯逻辑与应用逻辑年鉴 8 逻辑与计算杂志 6 理论计算机科学 5 符号逻辑杂志 4 Studia Logica公司 4 数学逻辑档案 3 符号计算杂志 2 欧洲理论计算机科学协会(EATCS)公报 2 计算机科学课堂讲稿 1 模糊集与系统 1 圣母院形式逻辑杂志 1 Sitzungsberichte公司。阿卜泰隆二世。Österreichische Akademie der Wissenschaften、Mathematisch Naturwissenschaftliche Klasse 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 信息与计算 1 信息处理与控制论杂志 1 自动推理杂志 1 国际数学Nachrichten 1 汉堡数学学院 1 数学逻辑季刊(MLQ) 1 IGPL逻辑杂志 1 软计算 1 计算机基础理论 1 逻辑课堂笔记 1 逻辑趋势——Studia Logica图书馆 1 计算机科学中的逻辑方法 全部的 前5名领域 132 数学逻辑和基础(03-XX) 35 计算机科学(68至XX) 9 总体主题;集合(00-XX) 3 历史和传记(01-XX) 2 有序,格,有序代数结构(06-XX) 2 场论和多项式(12-XX) 1 数论(11-XX) 1 偏微分方程(35-XX) 1 功能分析(46倍X倍) 1 算子理论(47-XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 96出版物有被引用714中的次397文件 引用人▼ 年份▼ 具有0-1投影和相对化的无穷值哥德尔逻辑。 Zbl 0862.03015号 马提亚斯·巴兹 79 1996 一阶哥德尔逻辑。 Zbl 1146.03010号 马提亚斯·巴兹;Preining,诺伯特;理查德·扎克 28 2007 哥德尔逻辑的超序列计算——一项调查。 Zbl 1051.03046号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 27 2003 关于Skolemization和证明复杂性。 Zbl 0815.03003号 马提亚斯·巴兹;亚历山大·莱奇 27 1994 通过解析消除剪切和冗余。 Zbl 0976.03059号 马提亚斯·巴兹;亚历山大·莱奇 26 2000 超序列与直觉模糊逻辑的证明理论。 Zbl 0973.03029号 马提亚斯·巴兹;理查德·扎克 19 2000 多值逻辑的基于分辨率的定理证明。 Zbl 0839.68091号 马提亚斯·巴兹;Fermüller,Christian G。 19 1995 模糊逻辑中的插值。 Zbl 0936.03026号 马提亚斯·巴兹;赫尔穆特·维思 18 1999 消除一阶有限值逻辑中的割集。 Zbl 0821.03013号 马提亚斯·巴兹;Fermüller,Christian G。;理查德·扎克 18 1993 t-重言式的复杂性。 Zbl 1006.03022号 马提亚斯·巴兹;彼得·哈耶克;佛朗哥·蒙塔格纳;赫尔穆特·维思 18 2002 多值逻辑的自动演绎。 Zbl 0992.03015号 马提亚斯·巴兹;Fermüller,Christian G。;格诺·萨尔泽 18 2001 规范标记计算的有限值语义。 Zbl 1314.03016号 马提亚斯·巴兹;奥里·拉哈夫;安娜·扎曼斯基 17 2013 Herbrand关于prenex-Gödel逻辑的定理及其对定理证明的影响。 Zbl 1275.03098号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 16 2001 多值逻辑的序列和表的对偶系统。 Zbl 0788.03029号 马提亚斯·巴兹;Fermüller,Christian G。;理查德·扎克 16 1993 范式转换。 Zbl 1005.03013号 马提亚斯·巴兹;埃格利,乌韦;亚历山大·莱奇 16 2001 减少范式和证明复杂性。 Zbl 0940.03062号 马提亚斯·巴兹;亚历山大·莱奇 15 1999 标记演算和有限值逻辑。 Zbl 0963.03039号 马提亚斯·巴兹;Fermüller,Christian G。;格诺·萨尔泽;理查德·扎克 15 1998 切割方法。 Zbl 1225.03075号 马提亚斯·巴兹;亚历山大·莱奇 15 2011 塞雷斯:对费尔斯坦伯格证明素数无穷大的分析。 Zbl 1181.68264号 马提亚斯·巴兹;斯特凡·赫兹尔;亚历山大·莱奇;克莱门斯·里希特;亨德里克·斯波尔 14 2008 削减:CERES实验。 Zbl 1108.03305号 马提亚斯·巴兹;斯特凡·赫兹尔;亚历山大·莱奇;克莱门斯·里希特;亨德里克·斯波尔 12 2005 不合理的推论使证明更短。 Zbl 1439.03095号 Juan P.阿奎莱拉。;马提亚斯·巴兹 11 2019 基于单体t-范数逻辑的分析计算。 Zbl 1057.03019号 马提亚斯·巴兹;蝉蜕、阿加塔;佛朗哥·蒙塔格纳 11 2004 一阶Łukasiewicz逻辑的Herbrand定理、Skolemization和证明系统。 兹比尔1188.03014 马提亚斯·巴兹;乔治·梅特卡夫 11 2010 MUltlog 1.0:面向多值逻辑专家系统。 Zbl 1412.68204号 马提亚斯·巴兹;Fermüller,Christian G。;格诺·萨尔泽;理查德·扎克 11 1996 射影逻辑的分析计算。 Zbl 0931.03066号 马提亚斯·巴兹;Fermüller,Christian G。 10 1999 直觉主义逻辑中存在量词的Skolemization。 Zbl 1106.03004号 马提亚斯·巴兹;罗莎莉,伊姆霍夫 9 2006 关于证明分解的复杂性。 兹比尔1345.03104 马提亚斯·巴兹;斯特凡·赫兹尔;丹尼尔·韦勒 9 2012 哥德尔逻辑的一元碎片:可判定性和不可判定性结果。 Zbl 1138.03025号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 9 2007 走向删减的子句分析。 Zbl 1125.03013号 马提亚斯·巴兹;亚历山大·莱奇 9 2006 存在谓词的Gentzen计算。 Zbl 1097.03046号 马提亚斯·巴兹;罗莎莉,伊姆霍夫 8 2006 CERES的证明转换。 Zbl 1125.03012号 马提亚斯·巴兹;斯特凡·赫兹尔;亚历山大·莱奇;克莱门斯·里希特;亨德里克·斯波尔 8 2006 无割证明的算法结构。 Zbl 0794.03076号 马提亚斯·巴兹;理查德·扎克 7 1993 将逻辑嵌入到产品逻辑中。 兹伯利0962.03019 马提亚斯·巴兹;彼得·哈耶克;简·克拉契克;戴维·什维达 7 1998 一阶哥德尔逻辑的Schütte-Tait式删减证明。 Zbl 1015.03052号 马提亚斯·巴兹;蝉蜕、阿加塔 7 2002 解析证明和函数介绍的复杂性。 Zbl 0769.03009号 马提亚斯·巴兹;亚历山大·莱奇 6 1992 具有时间间隔的一阶时序逻辑的完整性。 Zbl 0872.68171号 马提亚斯·巴兹;亚历山大·莱奇;理查德·扎克 6 1996 多值逻辑的解析。 兹伯利0920.03019 马提亚斯·巴兹;Fermüller,Christian G。 6 1992 论建构主义理论中的Skolemization。 Zbl 1171.03035号 马提亚斯·巴兹;罗莎莉,伊姆霍夫 5 2008 关系序列计算:多值逻辑中分析演绎的框架。 Zbl 1041.03020号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 5 2003 实闭域中的推广定理。 Zbl 0829.03033号 马提亚斯·巴兹;理查德·扎克 5 1995 量化命题哥德尔逻辑。 Zbl 0988.03014号 马提亚斯·巴兹;蝉蜕、阿加塔;理查德·扎克 5 2000 关于切割消除的不影响。 Zbl 1220.03048号 马提亚斯·巴兹;斯特凡·赫兹尔 5 2011 Da Costa的次一致逻辑的Kripke类型语义(C_{\omega})。 Zbl 0622.03013号 马提亚斯·巴兹 4 1986 关于存在逻辑中的插值。 Zbl 1143.03325号 马提亚斯·巴兹;罗莎莉,伊姆霍夫 4 2005 通过超子句分解对一阶哥德尔逻辑进行截消。 Zbl 1182.03102号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 4 2008 模糊逻辑中的量词消除。 Zbl 0933.03022号 马提亚斯·巴兹;赫尔穆特·维思 4 1999 关于大多数一般半均匀因子的存在性的注记。 Zbl 0806.03036号 马提亚斯·巴兹 4 1993 使用等价模式的重言式的简短证明。 Zbl 0953.03513号 M.巴兹。;扎克,R。 4 1994 库尔特·哥德尔和数学基础。真理的地平线。 Zbl 1253.00009号 3 2011 用单数语言概括证明(带有乔治·克雷塞尔的附言)。 Zbl 1153.03040号 马提亚斯·巴兹;彼得·沃伊泰拉克 3 2008 类型\({\omega}\)的克里普克框架上量化命题逻辑的量词消去。 Zbl 1146.03011号 马提亚斯·巴兹;Preining,诺伯特 3 2008 关于计算泛化的注释。 Zbl 0930.03008号 马提亚斯·巴兹 3 1999 使用Takeuti-Titani规则对量化命题哥德尔逻辑进行公理化。 Zbl 0943.03020号 马提亚斯·巴兹;赫尔穆特·维思 3 2000 多值逻辑中的CERES。 兹比尔1109.03007 马提亚斯·巴兹;亚历山大·莱奇 3 2005 Kreisel对\(L\exists_1\)的猜想。(包括乔治·克雷塞尔的附言)。 Zbl 0812.03024号 马提亚斯·巴兹;帕维尔·普德拉克 3 1993 模糊逻辑的证明理论:Urquhart(C)及其相关逻辑。 Zbl 0921.03028号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,基督徒;赫尔穆特·维思 3 1998 哥德尔-杜米特逻辑。 Zbl 1284.03173号 马提亚斯·巴兹;Preining,诺伯特 3 2011 一元哥德尔逻辑中的SAT:可判定性和不可判定性之间的边界。 Zbl 1246.03046号 马提亚斯·巴兹;蝉蜕、阿加塔;Preining,诺伯特 3 2009 哥德尔逻辑中的十个问题。 Zbl 1386.03024号 Juan P.阿奎莱拉。;马提亚斯·巴兹 2 2017 标记计算的有效有限值语义。 Zbl 1358.03018号 马提亚斯·巴兹;奥里·拉哈夫;安娜·扎曼斯基 2 2012 单调算子的哥德尔逻辑。 Zbl 1258.03027号 马提亚斯·巴兹;奥利弗·法辛 2 2012 Herbrand定理和prenex模糊逻辑的Skolemization。 Zbl 1142.03340号 马提亚斯·巴兹;乔治·梅特卡夫 2 2008 关于Delta见证的哥德尔逻辑的注释。 Zbl 1183.03022号 马提亚斯·巴兹;奥利弗·法辛 2 2009 基于连续微积分的扩展第一ε定理公式。 Zbl 1503.03044号 马提亚斯·巴兹;亚历山大·莱奇;阿内拉·洛里奇 2 2018 MULTLOG:将多值逻辑公理化的系统。 Zbl 0793.68126号 马提亚斯·巴兹;Fermüller,Christian G。;阿里·奥夫鲁茨基;理查德·扎克 2 1993 注释翻译以表征建构性。 Zbl 1079.03055号 M.巴兹。 2 2003 关于恒等式模式单个应用的证明理论强度的注记。 Zbl 1024.03060号 马提亚斯·巴兹;Fermüller,Christian G。 2 2001 通过投影快速消除切割。 Zbl 0889.03048号 马提亚斯·巴兹;亚历山大·莱奇 2 1997 删减:语法和语义。 Zbl 1354.03086号 M.巴兹。;A.莱奇。 2 2014 直觉模糊逻辑的自然演绎系统。 Zbl 1008.03015号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 2 2001 prenex Gödel逻辑的解决机制。 Zbl 1238.03022号 马提亚斯·巴兹;Fermüller,Christian G。 2 2010 哥德尔逻辑上的单调算子。 Zbl 1432.03035号 奥利弗·法辛;马提亚斯·巴兹 2 2014 直觉主义逻辑中的神秘化。 Zbl 1241.03067号 马提亚斯·巴兹;罗莎莉,伊姆霍夫 2 2011 功能扩展方法。 Zbl 0840.03042号 马提亚斯·巴兹;亚历山大·莱奇 2 1995 哥德尔逻辑中的一阶可满足性:一个NP-完全片段。 Zbl 1244.03090号 马提亚斯·巴兹;蝉蜕、阿加塔;Preining,诺伯特 2 2011 用\(\Delta\)对prenex Gödel逻辑进行定理证明:检查有效性和不可满足性。 兹比尔1238.03021 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 2 2012 关于一阶哥德尔逻辑的分类。 Zbl 1445.03034号 马提亚斯·巴兹;Preining,诺伯特 2 2019 对一个不矛盾的逻辑学家的回忆。 Zbl 1213.01056号 马提亚斯·巴兹 1 2009 CERES快速削减。 Zbl 1221.03057号 马提亚斯·巴兹;亚历山大·莱奇 1 2010 我们将在Gehalt von Beweisen餐厅用餐。(关于证明的一般内容)。 兹伯利0694.03036 马提亚斯·巴兹 1 1988 自动定理证明中的强分裂规则。 Zbl 1209.68503号 马提亚斯·巴兹;亚历山大·莱奇 1 1989 Die Anwendung starker Reduktionsregeln in automatischen Beweisen公司。 Zbl 0596.03007号 马提亚斯·巴兹;亚历山大·莱奇 1 1985 Eine Methode zur automatischen问题解答。 Zbl 0607.68071号 M.巴兹。;A.莱奇。 1 1985 控制证人。 Zbl 1090.03033号 马提亚斯·巴兹 1 2005 量子理论中的选择公理。 Zbl 0868.03019号 诺伯特·布伦纳;卡尔·斯沃齐尔;马提亚斯·巴兹 1 1996 比较切割去除方法的复杂性。 Zbl 1024.03058号 马提亚斯·巴兹;亚历山大·莱奇 1 2001 计算机科学逻辑。2003年8月25日至30日,第17届CSL国际研讨会,第12届EACSL年会,KGC 2003年第8届库尔特·哥德尔学术讨论会,奥地利维也纳。诉讼程序。 Zbl 1019.00011号 1 2003 Automatisches Beweisen für endlichwertige Logiken公司。(有限值逻辑的自动定理证明)。 Zbl 0735.03002号 马提亚斯·巴兹 1 1990 代数闭域中推广定理的注记。 Zbl 0905.03038号 马提亚斯·巴兹;理查德·扎克 1 1998 结合了多值和直观的表格。 Zbl 1415.03016号 马提亚斯·巴兹;Fermüller,Christian G。 1 1996 Andrews Skolemization可能会大大缩短分辨率证明。 Zbl 07551708号 马提亚斯·巴兹;阿内拉·洛里奇 1 2022 由命题插值导出的非经典逻辑的一阶插值。 Zbl 1496.03097号 马提亚斯·巴兹;阿内拉·洛里奇 1 2017 具有有限模型性质的中间逻辑中的Skolemization。 Zbl 1405.03068号 马提亚斯·巴兹;罗莎莉,伊姆霍夫 1 2016 表格的精益归纳原则。 Zbl 1415.03015号 马提亚斯·巴兹;埃格利,乌韦;Fermüller,Christian G。 1 1997 Henkin量词的一个全局合理的分析演算。 Zbl 1485.03140号 马提亚斯·巴兹;阿内拉·洛里奇 1 2020 中间逻辑中的Epsilon定理。 Zbl 07541918号 马提亚斯·巴兹;理查德·扎克 1 2022 Andrews Skolemization可能会大大缩短分辨率证明。 Zbl 07551708号 马提亚斯·巴兹;阿内拉·洛里奇 1 2022 中间逻辑中的Epsilon定理。 Zbl 07541918号 马提亚斯·巴兹;理查德·扎克 1 2022 汉金量词的全局合理分析演算。 Zbl 1485.03140号 马提亚斯·巴兹;阿内拉·洛里奇 1 2020 不合理的推论使证明更短。 Zbl 1439.03095号 Juan P.阿奎莱拉。;马提亚斯·巴兹 11 2019 关于一阶哥德尔逻辑的分类。 Zbl 1445.03034号 马提亚斯·巴兹;Preining,诺伯特 2 2019 基于连续微积分的扩展第一ε定理公式。 Zbl 1503.03044号 马提亚斯·巴兹;亚历山大·莱奇;阿内拉·洛里奇 2 2018 哥德尔逻辑中的十个问题。 Zbl 1386.03024号 Juan P.阿奎莱拉。;马提亚斯·巴兹 2 2017 由命题插值导出的非经典逻辑的一阶插值。 Zbl 1496.03097号 马提亚斯·巴兹;阿内拉·洛里奇 1 2017 具有有限模型性质的中间逻辑中的Skolemization。 Zbl 1405.03068号 马提亚斯·巴兹;罗莎莉,伊姆霍夫 1 2016 删减:语法和语义。 Zbl 1354.03086号 M.巴兹。;A.莱奇。 2 2014 哥德尔逻辑上的单调算子。 Zbl 1432.03035号 奥利弗·法辛;马提亚斯·巴兹 2 2014 规范标记计算的有限值语义。 Zbl 1314.03016号 马提亚斯·巴兹;奥里·拉哈夫;安娜·扎曼斯基 17 2013 关于证明去极化的复杂性。 Zbl 1345.03104号 马提亚斯·巴兹;斯特凡·赫兹尔;丹尼尔·韦勒 9 2012 标记计算的有效有限值语义。 Zbl 1358.03018号 马提亚斯·巴兹;奥里·拉哈夫;安娜·扎曼斯基 2 2012 单调算子的哥德尔逻辑。 Zbl 1258.03027号 马提亚斯·巴兹;奥利弗·法辛 2 2012 用\(\Delta\)对prenex Gödel逻辑进行定理证明:检查有效性和不可满足性。 兹比尔1238.03021 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 2 2012 切割方法。 Zbl 1225.03075号 马提亚斯·巴兹;亚历山大·莱奇 15 2011 关于切割消除的不影响。 Zbl 1220.03048号 马提亚斯·巴兹;斯特凡·赫兹尔 5 2011 库尔特·哥德尔和数学基础。真理的地平线。 Zbl 1253.00009号 3 2011 哥德尔-杜米特逻辑。 Zbl 1284.03173号 马提亚斯·巴兹;Preining,诺伯特 3 2011 直觉主义逻辑中的神秘化。 Zbl 1241.03067号 马提亚斯·巴兹;罗莎莉,伊姆霍夫 2 2011 哥德尔逻辑中的一阶可满足性:一个NP-完全片段。 Zbl 1244.03090号 马提亚斯·巴兹;蝉蜕、阿加塔;Preining,诺伯特 2 2011 一阶Łukasiewicz逻辑的Herbrand定理、Skolemization和证明系统。 兹比尔1188.03014 马提亚斯·巴兹;乔治·梅特卡夫 11 2010 prenex Gödel逻辑的解决机制。 Zbl 1238.03022号 马提亚斯·巴兹;Fermüller,Christian G。 2 2010 CERES快速削减。 Zbl 1221.03057号 马提亚斯·巴兹;亚历山大·莱奇 1 2010 一元哥德尔逻辑中的SAT:可判定性和不可判定性之间的边界。 Zbl 1246.03046号 马提亚斯·巴兹;蝉蜕、阿加塔;Preining,诺伯特 3 2009 关于Delta见证的哥德尔逻辑的注释。 Zbl 1183.03022号 马提亚斯·巴兹;奥利弗·法辛 2 2009 非传统逻辑学家的回忆。 Zbl 1213.01056号 马提亚斯·巴兹 1 2009 塞雷斯:对费尔斯坦伯格证明素数无穷大的分析。 Zbl 1181.68264号 马提亚斯·巴兹;斯特凡·赫兹尔;亚历山大·莱奇;克莱门斯·里希特;亨德里克·斯波尔 14 2008 论建构主义理论中的Skolemization。 Zbl 1171.03035号 马提亚斯·巴兹;罗莎莉,伊姆霍夫 5 2008 通过超子句分解对一阶哥德尔逻辑进行截消。 Zbl 1182.03102号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 4 2008 用单数语言概括证明(带有乔治·克雷塞尔的附言)。 Zbl 1153.03040号 马提亚斯·巴兹;彼得·沃伊泰拉克 3 2008 类型\({\omega}\)的克里普克框架上量化命题逻辑的量词消去。 Zbl 1146.03011号 马提亚斯·巴兹;Preining,诺伯特 3 2008 Herbrand定理和prenex模糊逻辑的Skolemization。 Zbl 1142.03340号 马提亚斯·巴兹;乔治·梅特卡夫 2 2008 一阶哥德尔逻辑。 Zbl 1146.03010号 马提亚斯·巴兹;Preining,诺伯特;理查德·扎克 28 2007 哥德尔逻辑的一元碎片:可判定性和不可判定性结果。 Zbl 1138.03025号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 9 2007 直觉主义逻辑中存在量词的Skolemization。 Zbl 1106.03004号 马提亚斯·巴兹;罗莎莉,伊姆霍夫 9 2006 走向删减的子句分析。 Zbl 1125.03013号 马提亚斯·巴兹;亚历山大·莱奇 9 2006 存在谓词的Gentzen计算。 Zbl 1097.03046号 马提亚斯·巴兹;罗莎莉,伊姆霍夫 8 2006 CERES的证明转换。 Zbl 1125.03012号 马提亚斯·巴兹;斯特凡·赫兹尔;亚历山大·莱奇;克莱门斯·里希特;亨德里克·斯波尔 8 2006 削减:CERES实验。 Zbl 1108.03305号 马提亚斯·巴兹;斯特凡·赫兹尔;亚历山大·莱奇;克莱门斯·里希特;亨德里克·斯波尔 12 2005 关于存在逻辑中的插值。 Zbl 1143.03325号 马提亚斯·巴兹;罗莎莉,伊姆霍夫 4 2005 多值逻辑中的CERES。 兹比尔1109.03007 马提亚斯·巴兹;亚历山大·莱奇 3 2005 控制证人。 Zbl 1090.03033号 马提亚斯·巴兹 1 2005 基于单体t-范数逻辑的分析计算。 Zbl 1057.03019号 马提亚斯·巴兹;蝉蜕、阿加塔;佛朗哥·蒙塔格纳 11 2004 哥德尔逻辑的超序列演算——一项调查。 Zbl 1051.03046号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 27 2003 关系序列计算:多值逻辑中分析演绎的框架。 Zbl 1041.03020号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 5 2003 注释翻译以表征建构性。 Zbl 1079.03055号 M.巴兹。 2 2003 计算机科学逻辑。2003年8月25日至30日,第17届CSL国际研讨会,第12届EACSL年会,KGC 2003年第8届库尔特·哥德尔学术讨论会,奥地利维也纳。诉讼程序。 Zbl 1019.00011号 1 2003 t-重言式的复杂性。 Zbl 1006.03022号 马提亚斯·巴兹;彼得·哈耶克;佛朗哥·蒙塔格纳;赫尔穆特·维思 18 2002 一阶哥德尔逻辑的Schütte-Tait式删减证明。 Zbl 1015.03052号 马提亚斯·巴兹;蝉蜕、阿加塔 7 2002 多值逻辑的自动演绎。 Zbl 0992.03015号 马提亚斯·巴兹;Fermüller,Christian G。;格诺·萨尔泽 18 2001 Herbrand关于prenex-Gödel逻辑的定理及其对定理证明的影响。 Zbl 1275.03098号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 16 2001 范式转换。 Zbl 1005.03013号 马提亚斯·巴兹;埃格利,乌韦;亚历山大·莱奇 16 2001 关于恒等式模式单个应用的证明理论强度的注记。 Zbl 1024.03060号 马提亚斯·巴兹;Fermüller,Christian G。 2 2001 直觉模糊逻辑的自然演绎系统。 Zbl 1008.03015号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 2 2001 比较切割去除方法的复杂性。 Zbl 1024.03058号 马提亚斯·巴兹;亚历山大·莱奇 1 2001 通过解析消除剪切和冗余。 Zbl 0976.03059号 马提亚斯·巴兹;亚历山大·莱奇 26 2000 超序列与直觉模糊逻辑的证明理论。 Zbl 0973.03029号 马提亚斯·巴兹;理查德·扎克 19 2000 量化命题哥德尔逻辑。 Zbl 0988.03014号 马提亚斯·巴兹;蝉蜕、阿加塔;理查德·扎克 5 2000 使用Takeuti-Titani规则对量化命题哥德尔逻辑进行公理化。 Zbl 0943.03020号 马提亚斯·巴兹;赫尔穆特·维思 3 2000 模糊逻辑中的插值。 Zbl 0936.03026号 马提亚斯·巴兹;赫尔穆特·维思 18 1999 剪切正规形式和证明复杂性。 Zbl 0940.03062号 马提亚斯·巴兹;亚历山大·莱奇 15 1999 射影逻辑的分析计算。 Zbl 0931.03066号 马提亚斯·巴兹;Fermüller,Christian G。 10 1999 模糊逻辑中的量词消除。 Zbl 0933.03022号 马提亚斯·巴兹;赫尔穆特·维思 4 1999 关于计算泛化的注释。 Zbl 0930.03008号 马提亚斯·巴兹 3 1999 标记演算和有限值逻辑。 Zbl 0963.03039号 马提亚斯·巴兹;Fermüller,Christian G。;格诺·萨尔泽;理查德·扎克 15 1998 将逻辑嵌入到产品逻辑中。 兹伯利0962.03019 马提亚斯·巴兹;彼得·哈耶克;简·克拉契克;戴维·什维达 7 1998 模糊逻辑的证明理论:Urquhart(C)及其相关逻辑。 Zbl 0921.03028号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,基督徒;赫尔穆特·维思 3 1998 代数闭域中推广定理的注记。 Zbl 0905.03038号 马提亚斯·巴兹;理查德·扎克 1 1998 通过投影快速消除切割。 Zbl 0889.03048号 马提亚斯·巴兹;亚历山大·莱奇 2 1997 表格的精益归纳原则。 Zbl 1415.03015号 马提亚斯·巴兹;埃格利,乌韦;Fermüller,Christian G。 1 1997 具有0-1投影和相对化的无穷值哥德尔逻辑。 Zbl 0862.03015号 马提亚斯·巴兹 79 1996 MUltlog 1.0:面向多值逻辑专家系统。 Zbl 1412.68204号 马提亚斯·巴兹;Fermüller,Christian G。;格诺·萨尔泽;理查德·扎克 11 1996 具有时间间隔的一阶时序逻辑的完整性。 Zbl 0872.68171号 马提亚斯·巴兹;亚历山大·莱奇;理查德·扎克 6 1996 量子理论中的选择公理。 Zbl 0868.03019号 诺伯特·布伦纳;卡尔·斯沃齐尔;马提亚斯·巴兹 1 1996 结合了多值和直观的表格。 Zbl 1415.03016号 马提亚斯·巴兹;Fermüller,Christian G。 1 1996 多值逻辑的基于分辨率的定理证明。 Zbl 0839.68091号 马提亚斯·巴兹;Fermüller,Christian G。 19 1995 实闭域中的推广定理。 Zbl 0829.03033号 马提亚斯·巴兹;理查德·扎克 5 1995 功能扩展方法。 Zbl 0840.03042号 马提亚斯·巴兹;亚历山大·莱奇 2 1995 关于Skolemization和证明复杂性。 Zbl 0815.03003号 马提亚斯·巴兹;亚历山大·莱奇 27 1994 使用等价模式的重言式的简短证明。 Zbl 0953.03513号 M.巴兹。;扎克,R。 4 1994 消除一阶有限值逻辑中的割集。 Zbl 0821.03013号 马提亚斯·巴兹;Fermüller,Christian G。;理查德·扎克 18 1993 多值逻辑的序列和表的对偶系统。 Zbl 0788.03029号 马提亚斯·巴兹;Fermüller,Christian G。;理查德·扎克 16 1993 无割证明的算法结构。 Zbl 0794.03076号 马提亚斯·巴兹;理查德·扎克 7 1993 关于大多数一般半一致性的存在性的注记。 Zbl 0806.03036号 马提亚斯·巴兹 4 1993 Kreisel对\(L\exists_1\)的猜想。(包括乔治·克雷塞尔的附言)。 Zbl 0812.03024号 马提亚斯·巴兹;帕维尔·普德拉克 3 1993 MULTLOG:将多值逻辑公理化的系统。 Zbl 0793.68126号 马提亚斯·巴兹;Fermüller,Christian G。;阿里·奥夫鲁茨基;理查德·扎克 2 1993 解析证明和函数介绍的复杂性。 Zbl 0769.03009号 马提亚斯·巴兹;亚历山大·莱奇 6 1992 多值逻辑的解析。 兹伯利0920.03019 马提亚斯·巴兹;Fermüller,Christian G。 6 1992 Automatisches Beweisen für endlichwertige Logiken公司。(有限值逻辑的自动定理证明)。 Zbl 0735.03002号 马提亚斯·巴兹 1 1990 自动定理证明中的强分裂规则。 Zbl 1209.68503号 马提亚斯·巴兹;亚历山大·莱奇 1 1989 我们将在Gehalt von Beweisen餐厅用餐。(关于证明的一般内容)。 兹伯利0694.03036 马提亚斯·巴兹 1 1988 Da Costa的次一致逻辑的Kripke类型语义(C_{\omega})。 Zbl 0622.03013号 马提亚斯·巴兹 4 1986 Die Anwendung starker Reduktionsregeln in automatischen Beweisen公司。 Zbl 0596.03007号 马提亚斯·巴兹;亚历山大·莱奇 1 1985 Eine Methode zur automatischen问题解答。 Zbl 0607.68071号 M.巴兹。;A.莱奇。 1 1985 所有引用出版物 前5名被引用出版物 全部的 前5名371位作者引用 40 马提亚斯·巴兹 20 亚历山大·莱奇 16 蝉蜕、阿加塔 16 斯特凡·赫兹尔 14 佛朗哥·蒙塔格纳 13 乔治·梅特卡夫 11 弗朗西斯科·埃斯特瓦 10 彼得·哈耶克 10 丹尼尔·韦勒(Daniel S.Weller)。 10 理查德·扎克 9 胡安·巴勃罗·阿奎莱拉 9 维莱姆,维科迪尔 8 Fermüller,Christian G。 8 罗莎莉,伊姆霍夫 8 安德烈·因德泽扎克(Andrzej Indrzejczak) 7 阿诺·阿夫隆 7 彼得·辛图拉 7 路易斯·戈多 7 阿内拉·洛里奇 7 徐,杨 6 卡洛斯·卡莱罗 6 齐格弗里德·戈特瓦尔德 6 Preining,诺伯特 6 安娜·扎曼斯基 5 Samuel R.巴斯。 5 弗拉米尼奥,托马索 5 杜珊·格勒 5 Zuzana Haniková 5 Daniel Kozhemiachenko 5 刘军 5 塞尔吉奥·马塞利诺 5 恩里科·马尔基奥尼 5 乔安·马科斯 5 吉赛尔·赖斯 5 格诺·萨尔泽 4 斯特凡诺·阿古佐利 4 马蒂奥·比安奇 4 泽维尔·凯塞多 4 大卫·M·塞尔纳。 4 迪迪埃·杜布瓦 4 埃格利,乌韦 4 帕斯卡·方丹 4 萨宾·弗里特拉 4 Aleksandr Sergeevich,Gerasimov 4 奥里·拉哈夫 4 雅罗斯拉夫·伊戈列维奇·彼得鲁金 4 杰玛·罗伯斯 4 阮,达 4 海因里希·西奥多 4 布鲁诺沃尔岑洛格尔古 3 费德里科·阿西埃里 3 阿诺德·贝克曼 3 拉迪姆·Bělohlávek 3 贝尔科娃,玛尔塔 3 马尔科·塞拉米 3 加布里埃尔·埃布纳 3 奥利弗·法辛 3 布鲁内拉·格拉 3 艾蒂安·凯尔(Etienne E.Kerre)。 3 迈克尔·科尔哈斯 3 乔治·莫瑟 3 Muskens,Reinhard A。 3 萨拉·内格里 3 卡莱斯·诺格拉 3 罗德里格斯,里卡多·奥斯卡 3 瓦西里·沙金 3 安德烈·沃伦科夫 3 斯特凡·温斯坦 2 罗马斯·阿隆德里斯 2 保罗·巴尔迪 2 加拿大巴什肯特 2 托本·布吕纳 2 简·比季奥夫斯克 2 伊凡·查伊达 2 陈树伟 2 大卫·丘奇 2 彼得罗·科达拉 2 马塞洛·埃斯特班(Marcelo Esteban Coniglio) 2 纳迪亚·克里诺 2 奥塔维奥·M·D’Antona。 2 Stéphane P.德姆里。 2 丹尼萨·迪亚科内斯库 2 罗伊·戴克霍夫 2 穆塔兹·萨利赫·埃尔·泽基 2 埃尔托拉·比拉本(Ertola Biraben),鲁道夫·C·。 2 大卫·费尔南德斯·杜克 2 阿尔多·菲加洛·奥雷利亚诺 2 吉多·菲奥里诺 2 Dov M.加巴伊。 2 天使加西亚·塞尔达尼亚 2 诺伯特·格拉茨 2 维托·格里蒂 2 拉多米尔·哈拉什 2 三木赫尔曼 2 乌尔里希·赫斯塔特 2 亚伯拉罕·坎德尔 2 曼弗雷德·科伯 2 巴特尔·皮特·库伊 2 罗马库兹涅茨 2 蒂莫·朗 ……还有271名作者 全部的 前5名连载57篇 43 模糊集与系统 30 纯逻辑与应用逻辑年鉴 27 Studia Logica公司 24 数学逻辑档案 17 理论计算机科学 16 自动推理杂志 13 信息科学 12 软计算 10 哲学逻辑杂志 9 应用非经典逻辑杂志 9 逻辑与逻辑哲学 9 泛逻辑 8 信息与计算 8 国际近似推理杂志 6 符号逻辑杂志 6 符号逻辑综述 5 圣母院形式逻辑杂志 5 合成 4 符号逻辑公报 4 计算机科学中的逻辑方法 3 人工智能 3 纯粹与应用代数杂志 3 逻辑科公报 3 符号计算杂志 3 MSCS公司。计算机科学中的数学结构 3 逻辑、语言与信息杂志 3 数学逻辑季刊(MLQ) 3 ACM计算逻辑事务 2 订单 2 数学与人工智能年鉴 2 欧洲数学杂志 1 信息学报 1 信息处理信件 1 立陶宛数学杂志 1 代数与逻辑 1 代数普遍性 1 应用数学与计算 1 代数杂志 1 计算机与系统科学杂志 1 欧洲组合数学杂志 1 计算机程序设计科学 1 计算机科学与技术杂志 1 国际智能系统杂志 1 国际计算机科学基础杂志 1 Indagationes Mathematicae公司。新系列 1 数学科学杂志(纽约) 1 约束条件 1 计算系统理论 1 马特马蒂奇尼研究所 1 Matematicheskie Trudy公司 1 计算机基础理论 1 应用逻辑杂志 1 Oberwolfach报告 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 上海交通大学学报(科学版) 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 1 离散与应用数学的艺术 全部的 前5名19个领域引用 354 数学逻辑和基础(03-XX) 104 计算机科学(68至XX) 34 有序,格,有序代数结构(06-XX) 8 总体主题;集合(00-XX) 8 一般代数系统(08-XX) 7 历史和传记(01-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 3 信息与通信理论、电路(94-XX) 2 数论(11-XX) 2 范畴理论;同调代数(18-XX) 2 量子理论(81-XX) 1 场论和多项式(12-XX) 1 交换代数(13-XX) 1 测量和集成(28-XX) 1 算子理论(47-XX) 1 变分法与最优控制;最优化(49至XX) 1 一般拓扑结构(54至XX) 1 数值分析(65-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.