编辑配置文件（在新选项卡中打开） 马提亚斯·巴兹 合著者距离 作者ID： 巴兹马提亚斯 发布日期： 马提亚斯·巴兹;M.巴兹。 主页： https://www.dmg.tuwien.ac.at/baaz/ 外部链接： MGP公司·ORCID公司·维基数据·ResearchGate公司·数学-网络。俄罗斯·数据库许可证·接地·ID参考·论文.fr 已编制索引的文档： 132出版物自1985年以来，包括1本书和4个附加arXiv预打印 8作为编辑的贡献 合著者： 45位合著者具有124联合出版物 1454位合作作者 全部的 前5名合著者 16 单作者的 25 Fermüller，Christian G。 24 亚历山大·莱奇 18 理查德·扎克 16 蝉蜕、阿加塔 12 阿内拉·洛里奇 8 罗莎莉，伊姆霍夫 8 Preining，诺伯特 7 赫尔穆特·维思 6 斯特凡·赫兹尔 4 胡安·巴勃罗·阿奎莱拉 4 乔治·莫瑟 4 格诺·萨尔泽 三 埃格利，乌韦 三 奥利弗·法辛 三 乔治·梅特卡夫 三 克莱门斯·里希特 三 亨德里克·斯波尔 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 数学逻辑档案 三 符号计算杂志 2 欧洲理论计算机科学协会（EATCS）公报 2 计算机科学讲义 1 模糊集与系统 1 圣母院形式逻辑杂志 1 Sitzungsberichte公司。阿卜泰隆二世。Oh sterreichische Akademie der Wissenschaften，Mathematisch-Naturwissenschaffliche Klasse公司 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 信息与计算 1 信息处理与控制论杂志 1 自动推理杂志 1 国际数学Nachrichten 1 汉堡的Mitteilungen der Mathematicschen Gesellschaft 1 数学逻辑季刊（MLQ） 1 IGPL逻辑期刊 1 软计算 1 计算机基础理论 1 逻辑课堂笔记 1 逻辑趋势——Studia Logica图书馆 1 计算机科学中的逻辑方法 全部的 前5名领域 132 数学逻辑和基础（03-XX） 36 计算机科学（68至XX） 9 总体主题；集合（00-XX） 三 历史和传记（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投影和相对化的无穷值哥德尔逻辑。 兹伯利0862.03015 马提亚斯·巴兹 79 1996 一阶哥德尔逻辑。 Zbl 1146.03010号 马提亚斯·巴兹;Preining，诺伯特;理查德·扎克 28 2007 关于Skolemization和证明复杂性。 Zbl 0815.03003号 马提亚斯·巴兹;亚历山大·莱奇 27 1994 哥德尔逻辑的超序列计算——一项调查。 Zbl 1051.03046号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。 27 2003 通过决议减少裁减和冗余。 Zbl 0976.03059号 马提亚斯·巴兹;亚历山大·莱奇 26 2000 多值逻辑的基于分辨率的定理证明。 Zbl 0839.68091号 马提亚斯·巴兹;Fermüller，Christian G。 19 1995 超序列与直觉模糊逻辑的证明理论。 Zbl 0973.03029号 马提亚斯·巴兹;理查德·扎克 19 2000 t-重言式的复杂性。 Zbl 1006.03022号 马提亚斯·巴兹;彼得·哈耶克;佛朗哥·蒙塔格纳;赫尔穆特·维思 18 2002 消除一阶有限值逻辑中的割集。 Zbl 0821.03013号 马提亚斯·巴兹;Fermüller，Christian G。;理查德·扎克 18 1993 模糊逻辑中的插值。 Zbl 0936.03026号 马提亚斯·巴兹;赫尔穆特·维思 18 1999 多值逻辑的自动演绎。 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 多值逻辑的序列和表的对偶系统。 兹比尔0788.03029 马提亚斯·巴兹;Fermüller，克里斯蒂安·G。;理查德·扎克 16 1993 范式转换。 Zbl 1005.03013号 马提亚斯·巴兹;埃格利，乌韦;亚历山大·莱奇 16 2001 切割方法。 Zbl 1225.03075号 马提亚斯·巴兹;亚历山大·莱奇 15 2011 减少范式和证明复杂性。 Zbl 0940.03062号 马提亚斯·巴兹;亚历山大·莱奇 15 1999 标记演算和有限值逻辑。 Zbl 0963.03039号 马提亚斯·巴兹;Fermüller，Christian G。;格诺·萨尔泽;理查德·扎克 15 1998 塞雷斯：对费尔斯坦伯格证明素数无穷大的分析。 Zbl 1181.68264号 马提亚斯·巴兹;斯特凡·赫兹尔;亚历山大·莱奇;克莱门斯·里希特;亨德里克·斯波尔 14 2008 削减：CERES实验。 Zbl 1108.03305号 马提亚斯·巴兹;斯特凡·赫兹尔;亚历山大·莱奇;克莱门斯·里希特;亨德里克·斯波尔 12 2005 一阶Łukasiewicz逻辑的Herbrand定理、Skolemization和证明系统。 Zbl 1188.03014号 马提亚斯·巴兹;乔治·梅特卡夫 11 2010 MUltlog 1.0：面向多值逻辑专家系统。 Zbl 1412.68204号 马提亚斯·巴兹;Fermüller，Christian G。;格诺·萨尔泽;理查德·扎克 11 1996 不合理的推论使证明更短。 Zbl 1439.03095号 Juan P.阿奎莱拉。;马提亚斯·巴兹 11 2019 基于单体t-范数逻辑的分析计算。 Zbl 1057.03019号 马提亚斯·巴兹;蝉蜕、阿加塔;佛朗哥蒙塔尼亚 11 2004 投影逻辑的分析演算。 兹伯利0931.03066 马提亚斯·巴兹;Fermüller，Christian G。 10 1999 关于证明分解的复杂性。 Zbl 1345.03104号 马提亚斯·巴兹;斯特凡·赫兹尔;丹尼尔·韦勒 9 2012 哥德尔逻辑的一元碎片：可判定性和不可判定性结果。 Zbl 1138.03025号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。 9 2007 直觉主义逻辑中存在量词的Skolemization。 Zbl 1106.03004号 马提亚斯·巴兹;罗莎莉，伊姆霍夫 9 2006 走向删减的子句分析。 Zbl 1125.03013号 马提亚斯·巴兹;亚历山大·莱奇 9 2006 CERES的证明转换。 Zbl 1125.03012号 马提亚斯·巴兹;斯特凡·赫兹尔;亚历山大·莱奇;克莱门斯·里希特;亨德里克·斯波尔 8 2006 存在谓词的Gentzen计算。 Zbl 1097.03046号 马提亚斯·巴兹;罗莎莉，伊姆霍夫 8 2006 无裁剪证明的算法结构。 Zbl 0794.03076号 马提亚斯·巴兹;理查德·扎克 7 1993 将逻辑嵌入到产品逻辑中。 Zbl 0962.03019号 马提亚斯·巴兹;彼得·哈耶克;简·克拉契克;戴维·什维达 7 1998 一阶哥德尔逻辑的Schütte-Tait式删减证明。 Zbl 1015.03052号 马提亚斯·巴兹;蝉蜕、阿加塔 7 2002 解析证明和函数介绍的复杂性。 Zbl 0769.03009号 马提亚斯·巴兹;亚历山大·莱奇 6 1992 多值逻辑的解析。 Zbl 0920.03019号 马提亚斯·巴兹;Fermüller，克里斯蒂安·G。 6 1992 具有时间间隔的一阶时间逻辑的完备性。 兹伯利0872.68171 马提亚斯·巴兹;亚历山大·莱奇;理查德·扎克 6 1996 论建构主义理论中的Skolemization。 Zbl 1171.03035号 马提亚斯·巴兹;罗莎莉，伊姆霍夫 5 2008 关于切割消除的不影响。 Zbl 1220.03048号 马提亚斯·巴兹;斯特凡·赫兹尔 5 2011 量化命题哥德尔逻辑。 Zbl 0988.03014号 马提亚斯·巴兹;蝉蜕、阿加塔;理查德·扎克 5 2000 实闭域中的推广定理。 Zbl 0829.03033号 马提亚斯·巴兹;理查德·扎克 5 1995 关系序列计算：多值逻辑中分析演绎的框架。 Zbl 1041.03020号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。 5 2003 关于大多数一般半均匀因子的存在性的注记。 Zbl 0806.03036号 马提亚斯·巴兹 4 1993 Da Costa的次一致逻辑的Kripke类型语义（C_{\omega}）。 Zbl 0622.03013号 马提亚斯·巴兹 4 1986 关于存在逻辑中的插值。 Zbl 1143.03325号 马提亚斯·巴兹;罗莎莉，伊姆霍夫 4 2005 模糊逻辑中的量词消除。 Zbl 0933.03022号 马提亚斯·巴兹;赫尔穆特·维思 4 1999 通过超子句分解对一阶哥德尔逻辑进行截消。 Zbl 1182.03102号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。 4 2008 使用等价模式的重言式的简短证明。 Zbl 0953.03513号 M.巴兹。;R.扎克。 4 1994 Kreisel对\（L\exists_1\）的猜想。（包括乔治·克雷塞尔的附言）。 Zbl 0812.03024号 马提亚斯·巴兹;帕维尔·普德拉克 三 1993 模糊逻辑的证明理论：Urquhart（C）及其相关逻辑。 兹伯利0921.03028 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，基督徒;赫尔穆特·维思 三 1998 多值逻辑中的CERES。 Zbl 1109.03007号 马提亚斯·巴兹;亚历山大·莱奇 三 2005 一元哥德尔逻辑中的SAT：可判定性和不可判定性之间的边界。 Zbl 1246.03046号 马提亚斯·巴兹;蝉蜕、阿加塔;Preining，诺伯特 三 2009 用单数语言概括证明（带有乔治·克雷塞尔的附言）。 Zbl 1153.03040号 马提亚斯·巴兹;彼得·沃伊泰拉克 三 2008 关于计算泛化的注释。 Zbl 0930.03008号 马提亚斯·巴兹 三 1999 类型\（{\omega}\）的克里普克框架上量化命题逻辑的量词消去。 Zbl 1146.03011号 马提亚斯·巴兹;Preining，诺伯特 三 2008 使用Takeuti-Titani规则对量化命题哥德尔逻辑进行公理化。 Zbl 0943.03020号 马提亚斯·巴兹;赫尔穆特·维思 三 2000 库尔特·哥德尔和数学基础。真理的地平线。 Zbl 1253.00009号 三 2011 哥德尔-杜米特逻辑。 Zbl 1284.03173号 马提亚斯·巴兹;Preining，诺伯特 三 2011 prenex Gödel逻辑的解决机制。 Zbl 1238.03022号 马提亚斯·巴兹;Fermüller，Christian G。 2 2010 关于Delta见证的哥德尔逻辑的注释。 Zbl 1183.03022号 马提亚斯·巴兹;奥利弗·法辛 2 2009 哥德尔逻辑中的一阶可满足性：一个NP-完全片段。 Zbl 1244.03090号 马提亚斯·巴兹;蝉蜕、阿加塔;Preining，诺伯特 2 2011 MULTLOG：将多值逻辑公理化的系统。 Zbl 0793.68126号 马提亚斯·巴兹;Fermüller，Christian G。;阿里·奥夫鲁茨基;理查德·扎克 2 1993 直觉模糊逻辑的自然演绎系统。 兹比尔1008.03015 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，克里斯蒂安·G。 2 2001 功能扩展的方法。 Zbl 0840.03042号 马提亚斯·巴兹;亚历山大·莱奇 2 1995 通过投影快速消除切割。 Zbl 0889.03048号 马提亚斯·巴兹;亚历山大·莱奇 2 1997 直觉主义逻辑中的神秘化。 Zbl 1241.03067号 马提亚斯·巴兹;罗莎莉，伊姆霍夫 2 2011 用\（\Delta\）对prenex Gödel逻辑进行定理证明：检查有效性和不可满足性。 Zbl 1238.03021号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。 2 2012 注释翻译以表征建构性。 Zbl 1079.03055号 M.巴兹。 2 2003 关于一阶哥德尔逻辑的分类。 Zbl 1445.03034号 马提亚斯·巴兹;Preining，诺伯特 2 2019 哥德尔逻辑中的十个问题。 Zbl 1386.03024号 Juan P.阿奎莱拉。;马提亚斯·巴兹 2 2017 基于连续微积分的扩展第一ε定理公式。 Zbl 1503.03044号 马提亚斯·巴兹;亚历山大·莱奇;阿内拉·洛里奇 2 2018 删减：语法和语义。 Zbl 1354.03086号 M.巴兹。;A.莱奇。 2 2014 哥德尔逻辑上的单调算子。 Zbl 1432.03035号 奥利弗·法辛;马提亚斯·巴兹 2 2014 Herbrand定理和prenex模糊逻辑的Skolemization。 Zbl 1142.03340号 马提亚斯·巴兹;乔治·梅特卡夫 2 2008 标记计算的有效有限值语义。 Zbl 1358.03018号 马提亚斯·巴兹;奥里邦拉哈夫;安娜·扎曼斯基 2 2012 具有单调算子的哥德尔逻辑。 兹比尔1258.03027 马提亚斯·巴兹;奥利弗·法辛 2 2012 关于恒等式模式单个应用的证明理论强度的注记。 Zbl 1024.03060号 马提亚斯·巴兹;Fermüller，Christian G。 2 2001 Automatisches Beweisen für endlichwertige Logiken公司。（有限值逻辑的自动定理证明）。 Zbl 0735.03002号 马提亚斯·巴兹 1 1990 自动定理证明中的强分裂规则。 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 0694.03036号 马提亚斯·巴兹 1 1988 量子理论中的选择公理。 Zbl 0868.03019号 诺伯特·布伦纳;卡尔·斯沃齐尔;马提亚斯·巴兹 1 1996 代数闭域中推广定理的注记。 Zbl 0905.03038号 马提亚斯·巴兹;理查德·扎克 1 1998 控制证人。 Zbl 1090.03033号 马提亚斯·巴兹 1 2005 非传统逻辑学家的回忆。 Zbl 1213.01056号 马提亚斯·巴兹 1 2009 CERES快速削减。 Zbl 1221.03057号 马提亚斯·巴兹;亚历山大·莱奇 1 2010 具有有限模型性质的中间逻辑中的Skolemization。 Zbl 1405.03068号 马提亚斯·巴兹;罗莎莉，伊姆霍夫 1 2016 结合了多值和直观的表格。 兹伯利1415.03016 马提亚斯·巴兹;Fermüller，克里斯蒂安·G。 1 1996 汉金量词的全局合理分析演算。 Zbl 1485.03140号 马提亚斯·巴兹;阿内拉·洛里奇 1 2020 表格的精益归纳原则。 Zbl 1415.03015号 马提亚斯·巴兹;埃格利，乌韦;Fermüller，Christian G。 1 1997 中间逻辑中的Epsilon定理。 Zbl 07541918号 马提亚斯·巴兹;理查德·扎克 1 2022 Andrews Skolemization可能会大大缩短分辨率证明。 Zbl 07551708号 马提亚斯·巴兹;阿内拉·洛里奇 1 2022 由命题插值导出的非经典逻辑的一阶插值。 Zbl 1496.03097号 马提亚斯·巴兹;阿内拉·洛里奇 1 2017 计算机科学逻辑。2003年8月25日至30日，第17届CSL国际研讨会，EACSL第12届年会，KGC 2003第8届库尔特·哥德尔学术讨论会，奥地利维也纳。诉讼程序。 Zbl 1019.00011号 1 2003 比较切割去除方法的复杂性。 Zbl 1024.03058号 马提亚斯·巴兹;亚历山大·莱奇 1 2001 中间逻辑中的Epsilon定理。 Zbl 07541918号 马提亚斯·巴兹;理查德·扎克 1 2022 Andrews Skolemization可能会大大缩短分辨率证明。 Zbl 07551708号 马提亚斯·巴兹;阿内拉·洛里奇 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 哥德尔逻辑中的十个问题。 兹伯利1386.03024 胡安·阿奎莱拉。;马提亚斯·巴兹 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 用\（\Delta\）对prenex Gödel逻辑进行定理证明：检查有效性和不可满足性。 Zbl 1238.03021号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。 2 2012 标记计算的有效有限值语义。 Zbl 1358.03018号 马提亚斯·巴兹;奥里·拉哈夫;安娜·扎曼斯基 2 2012 单调算子的哥德尔逻辑。 Zbl 1258.03027号 马提亚斯·巴兹;奥利弗·法辛 2 2012 切割方法。 Zbl 1225.03075号 马提亚斯·巴兹;亚历山大·莱奇 15 2011 关于切割消除的不影响。 Zbl 1220.03048号 马提亚斯·巴兹;斯特凡·赫兹尔 5 2011 库尔特·哥德尔和数学基础。真理的地平线。 兹比尔1253.00009 三 2011 哥德尔·杜米特逻辑。 Zbl 1284.03173号 马提亚斯·巴兹;Preining，诺伯特 三 2011 哥德尔逻辑中的一阶可满足性：一个NP-完全片段。 Zbl 1244.03090号 马提亚斯·巴兹;蝉蜕、阿加塔;Preining，诺伯特 2 2011 直觉主义逻辑中的神秘化。 Zbl 1241.03067号 马提亚斯·巴兹;罗莎莉，伊姆霍夫 2 2011 一阶Łukasiewicz逻辑的Herbrand定理、Skolemization和证明系统。 Zbl 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，诺伯特 三 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，克里斯蒂安·G。 4 2008 一元语言中的一般证明（附有Georg Kreisel的后记）。 兹比尔1153.03040 马提亚斯·巴兹;彼得·沃伊泰拉克 三 2008 类型\（{\omega}\）的克里普克框架上量化命题逻辑的量词消去。 Zbl 1146.03011号 马提亚斯·巴兹;Preining，诺伯特 三 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 CERES的证明转换。 Zbl 1125.03012号 马提亚斯·巴兹;斯特凡·赫兹尔;亚历山大·莱奇;克莱门斯·里希特;亨德里克·斯波尔 8 2006 存在谓词的Gentzen计算。 Zbl 1097.03046号 马提亚斯·巴兹;罗莎莉，伊姆霍夫 8 2006 削减：CERES实验。 Zbl 1108.03305号 马提亚斯·巴兹;斯特凡·赫兹尔;亚历山大·莱奇;克莱门斯·里希特;亨德里克·斯波尔 12 2005 关于存在逻辑中的插值。 Zbl 1143.03325号 马提亚斯·巴兹;离开，罗莎莉 4 2005 多值逻辑中的CERES。 兹比尔1109.03007 马提亚斯·巴兹;亚历山大·莱奇 三 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国际研讨会，EACSL第12届年会，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 1008.03015号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，克里斯蒂安·G。 2 2001 关于同一性图式的单一应用的证明论强度的注记。 兹比尔1024.03060 马提亚斯·巴兹;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号 马提亚斯·巴兹;赫尔穆特·维思 三 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号 马提亚斯·巴兹 三 1999 标记演算和有限值逻辑。 Zbl 0963.03039号 马提亚斯·巴兹;Fermüller，Christian G。;格诺·萨尔泽;理查德·扎克 15 1998 将逻辑嵌入到产品逻辑中。 Zbl 0962.03019号 马提亚斯·巴兹;彼得·哈耶克;简·克拉契克;戴维·什维达 7 1998 模糊逻辑的证明理论：Urquhart（C）及其相关逻辑。 Zbl 0921.03028号 马提亚斯·巴兹;蝉蜕、阿加塔;克里斯蒂安·弗缪勒;赫尔穆特·维思 三 1998 关于代数闭域中定理推广的注记。 兹伯利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 消除一阶有限值逻辑中的割。 兹伯利0821.03013 马提亚斯·巴兹;Fermüller，克里斯蒂安·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号 马提亚斯·巴兹;帕维尔·普德拉克 三 1993 MULTLOG：将多值逻辑公理化的系统。 Zbl 0793.68126号 马提亚斯·巴兹;Fermüller，Christian G。;阿里·奥夫鲁茨基;理查德·扎克 2 1993 解析证明和函数介绍的复杂性。 Zbl 0769.03009号 马提亚斯·巴兹;亚历山大·莱奇 6 1992 多值逻辑的解析。 Zbl 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餐厅用餐。（关于证明的一般内容）。 Zbl 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 自动解决问题的方法。 兹比尔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 布鲁诺沃尔岑洛格尔古 三 费德里科·阿西埃里 三 阿诺德·贝克曼 三 拉迪姆·Bělohlávek 三 玛尔塔·比尔科娃 三 马尔科·塞拉米 三 加布里埃尔·埃布纳 三 奥利弗·法辛 三 布鲁内拉·格拉 三 艾蒂安·凯尔（Etienne E.Kerre）。 三 迈克尔·科尔哈斯 三 乔治·莫瑟 三 雷因哈德·马斯肯斯（Reinhard A.Muskens）。 三 萨拉·内格里 三 卡莱斯·诺格拉 三 罗德里格斯，里卡多·奥斯卡 三 瓦西里·沙金 三 安德烈·沃伦科夫 三 斯特凡·温斯坦 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 计算机科学中的逻辑方法 三 人工智能 三 纯粹与应用代数杂志 三 逻辑科公报 三 符号计算杂志 三 MSCS公司。计算机科学中的数学结构 三 逻辑、语言与信息杂志 三 数学逻辑季刊（MLQ） 三 ACM计算逻辑事务 2 订单 2 数学与人工智能年鉴 2 欧洲数学杂志 1 信息学报 1 信息处理信件 1 立陶宛数学杂志 1 代数与逻辑 1 代数普遍性 1 应用数学与计算 1 代数杂志 1 计算机与系统科学杂志 1 欧洲组合数学杂志 1 计算机程序设计科学 1 计算机科学与技术杂志 1 国际智能系统杂志 1 国际计算机科学基础杂志 1 数学百科全书。新系列 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） 三 信息与通信理论、电路（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中.