编辑配置文件(在新选项卡中打开) 彼得·施密特。 合著者距离 作者ID: 施密特·皮特-h 发布日期: 彼得·施密特。;彼得·施密特;施密特,P.H。 更多。。。较少的 已编制索引的文档: 64出版物自1973年以来,包括3本书 6作为编辑的贡献 合著者: 36位合著者具有31联合出版物 781联合作者 全部的 前5名合著者 39 单作者的 8 伯恩哈德·贝克特 7 雷纳·哈内尔 4 沃尔夫冈·阿伦特 4 沃尔夫拉姆·门泽尔 4 马蒂亚斯·乌尔布里奇 三 托马斯·巴尔 三 沃尔夫冈·比贝尔 2 克里斯托夫·贝尔 2 克里斯塔·宾德 2 格雷戈里·谢尔林。 2 马丁·吉斯(Martin A.Giese)。 2 埃尔玛·哈贝马斯 2 乌尔里希·赫德斯蒂克 2 克劳斯·皮特·詹特克 2 普莱塔,乌多 2 约阿希姆·波塞加 2 沃尔夫冈·雷夫 1 伊贡博格尔 1 格哈德·布鲁卡 1 丹尼尔·布伦斯 1 尤尔根·迪克斯 1 约琴·多尔 1 尤里·古里维奇 1 埃德蒙·赫劳卡 1 马雷克·卡宾斯基 1 弗拉基米尔·克莱巴诺夫 1 Kleine Büning,汉斯 1 五月,沃尔夫冈 1 沃伊西奇·莫斯托夫斯基。 1 克劳斯·雷纳罗林格 1 克里斯托夫·谢本 1 格哈德·谢尔霍恩 1 乔纳斯·希夫尔 1 鲁迪·施图德 1 本杰明·韦斯 1 韦内克,W。 全部的 前5名系列 三 Dedicata几何 三 Sitzungsberichte公司。Abteilung二。Oh sterreichische Akademie der Wissenschaften,Mathematisch-Naturwissenschaffliche Klasse公司 三 离散和计算几何 三 应用逻辑系列 2 代数普遍性 2 逻辑与计算杂志 2 Anzeiger derØsterreichischen Akademie der Wissenschaften(威斯森沙芬大学)。Mathematisch-Naturwissenschaftliche Klasse公司 2 计算机科学课堂讲稿 1 人工智能 1 离散数学 1 匈牙利数学周期 1 Beiträge zur代数与几何 1 克莱蒙费兰德大学年鉴2。数学竞赛 1 数学基础 1 信息和控制 1 符号逻辑杂志 1 数学手稿 1 Monatsheft für Mathematik 1 美国数学学会会刊 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 法国数学协会。Nouvelle Série公司 1 安泽格尔。Abteilung二。威斯森沙芬学院。Mathematisch-Naturwissenschaftliche Klasse公司 1 通用计算机科学杂志 1 Oh sterreichische Akademie der Wissenschaften,Mathematisch-Naturwissenschaffliche Klasse。Sitzungsberichte公司。阿卜泰隆二世 1 斯普林格·勒布赫 全部的 前5名领域 33 计算机科学(68至XX) 32 数学逻辑和基础(03-XX) 16 凸和离散几何(52至XX) 6 总体主题;集合(00-XX) 6 组合数学(05-XX) 5 阶、格、有序代数结构(06-XX) 5 群论与推广(20-XX) 三 数论(11-XX) 三 拓扑群、李群(22日至XX日) 三 流形和细胞复合体(57至XX) 2 序列、级数、可和性(40-XX) 2 几何图形(51至XX) 1 历史和传记(01-XX) 1 功能分析(46倍X倍) 1 概率论与随机过程(60-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 49出版物有被引用199中的次167文件 引用人▼ 年份▼ 有序阿贝尔群理论不具有独立性。 Zbl 0507.03012号 Y.古雷维奇。;施密特,P.H。 24 1984 自由变量语义表中更加自由化的\(\delta\)规则。 Zbl 0794.03020号 伯恩哈德·贝克特;雷纳·哈内尔;彼得·施密特。 17 1993 自由变量语义表中的自由化\(\delta\)规则。 Zbl 0826.03005号 雷纳·哈内尔;彼得·施密特。 16 1994 一种用于知识表示系统的有序逻辑。 Zbl 0768.68196号 C·拜尔勒。;Hedtstück,美国。;普莱塔特,美国。;施密特,P.H。;J.西克曼。 11 1992 KeY方法:集成面向对象设计和形式验证。 Zbl 0998.68651号 沃尔夫冈·阿伦特;托马斯·巴尔;伯恩哈德·贝克特;马丁·吉斯;埃尔玛·哈贝马斯;雷纳·哈内尔;沃尔夫拉姆·门泽尔;彼得·施密特。 11 2000 KeY:面向对象系统的形式化方法。 Zbl 1202.68092号 沃尔夫冈·阿伦特;伯恩哈德·贝克特;雷纳·哈内尔;彼得·施密特。 11 2007 Stone代数的模型补足。 Zbl 0352.02040号 彼得·施密特。 8 1976 集成自动化和交互式定理证明。 Zbl 0970.68151号 沃尔夫冈·阿伦特;伯恩哈德·贝克特;雷纳·哈内尔;沃尔夫拉姆·门泽尔;沃尔夫冈·雷夫;格哈德·谢尔霍恩;彼得·施密特。 8 1998 三值逻辑的计算方面。 Zbl 0644.03015号 施密特,P.H。 7 1986 通过会议传播信息。 Zbl 0326.05001号 彼得·施密特 5 1976 自动扣除。应用的基础。第三卷:应用。 Zbl 0954.00010号 5 1998 量化Horn子句的计算复杂性。 Zbl 0664.03012号 马雷克·卡宾斯基;Kleine Büning,汉斯;彼得·施密特。 5 1988 证明JDK的双枢轴快速分拣正确。 Zbl 1403.68047号 伯恩哈德·贝克特;乔纳斯·希夫尔;彼得·施密特。;马蒂亚斯·乌尔布里奇 5 2017 有序阿贝尔群的模型和子结构完备理论。 Zbl 0561.03020号 彼得·施密特。 4 1984 n-同胚体类型的瓷砖。 Zbl 0697.52006号 彼得·施密特 4 1989 Shannon图的自动演绎。 Zbl 0845.68095号 约阿希姆·波塞加;彼得·施密特。 4 1995 代数完备格。 Zbl 0532.03017号 施密特,P.H。 4 1983 钻石公式:具有递归可枚举有效性问题的动态逻辑片段。 Zbl 0599.03028号 彼得·施密特。 三 1984 赋值阿贝尔群的可判定理论。 兹伯利0604.03012 施密特,P.H。 三 1986 Eine dreivertige Logik zur Verarbeitung partieller信息。(用于部分信息处理的三值逻辑)。 Zbl 0645.03018号 施密特,P.H。 三 1987 排序逻辑的表演算。 Zbl 0747.68083号 施密特,P.H。;韦内克,W。 三 1990 被评估阿贝尔群的不确定理论。 Zbl 0555.20034号 彼得·施密特。 三 1984 一种可机械化的序数一阶理论。 Zbl 1496.68371号 彼得·施密特。 三 2017 离散和组合几何中的问题。 Zbl 0792.5209号 彼得·施密特 2 1993 实现语义表。 Zbl 0972.68519号 约阿希姆·波塞加;彼得·施密特。 2 1999 Java动态逻辑中的动态帧。 Zbl 1308.68046号 彼得·施密特。;马蒂亚斯·乌尔布里奇;本杰明·韦伊 2 2011 可容纳有限或可数无限个瓷砖的成对瓷砖。 Zbl 0586.5209号 彼得·施密特 2 1986 拓扑阿贝尔群的不可判定Lt理论。 Zbl 0482.03016号 格雷戈里·谢尔林。;彼得·施密特。 2 1981 无扭阿贝尔群的基本理论,其谓词指定子群。 Zbl 0495.03017号 彼得·施密特。 2 1982 一个填满空间的三叶结。 Zbl 0891.52013号 施密特,P。 2 1997 填充绳结。 兹伯利0884.52021 彼得·施密特 2 1997 具有最致密填料特殊特性的磁盘。 Zbl 0731.52004号 彼得·施密特 2 1991 面向对象软件中的信息流。 Zbl 1453.68027号 伯恩哈德·贝克特;丹尼尔·布伦斯;弗拉基米尔·克莱巴诺夫;克里斯托夫·谢本;彼得·施密特。;马蒂亚斯·乌尔布里奇 2 2014 \原生质体的(sigma)形态集。 Zbl 0616.52014号 彼得·施密特 1 1987 具有指定数量瓷砖的瓷砖组。 兹比尔062805020 彼得·施密特 1 1986 Lineare Gleichvertilung公司。 Zbl 0277.10026号 彼得·施密特 1 1974 带有排序文字的有序谓词逻辑的演算。 Zbl 0747.68079号 Hedtstück,美国。;施密特,P.H。 1 1990 非单调逻辑和归纳逻辑。第一届国际研讨会,德国卡尔斯鲁厄,1990年12月4日至7日。诉讼程序。 Zbl 0768.00011号 1 1991 KEY系统:集成面向对象设计和形式化方法。 Zbl 1059.68548号 沃尔夫冈·阿伦特;托马斯·巴尔;伯恩哈德·贝克特;马丁·吉斯;埃尔玛·哈贝马斯;雷纳·哈内尔;沃尔夫拉姆·门泽尔;沃伊切赫·莫斯托夫斯基;彼得·施密特。 1 2002 Summierungsverfahren和rekurrente Markoff Ketten。 兹比尔0303.40012 彼得·施密特 1 1973 正规双Stone代数。 Zbl 0362.06017号 彼得·施密特。 1 1977 自动扣除。应用的基础。第一卷:基础、计算和方法。 Zbl 0948.00015号 1 1998 原生质体的多形对。 Zbl 0669.52012年 彼得·施密特 1 1988 非周期三重原生质体。 Zbl 0704.52010 施密特,P。 1 1990 局部纯拓扑阿贝尔群:基本不变量。 Zbl 0522.03023号 G.切尔林。;施密特,P.H。 1 1983 另一个充满空间的三叶结。 Zbl 0827.52012号 施密特,P。 1 1995 知识表示语言(L_{LILOG})。 Zbl 0714.68100号 克里斯托夫·贝尔;约琴·多尔;普莱塔,乌多;克劳斯·罗林格;彼得·施密特。;鲁迪·施图德 1 1989 空间中的三重原生质体(具有规定的属性)。 Zbl 0915.52006号 彼得·施密特 1 1997 一阶分支时间逻辑的表演算。 Zbl 1422.03028号 五月,沃尔夫冈;彼得·施密特。 1 1996 证明JDK的双支点快速排序是正确的。 Zbl 1403.68047号 伯恩哈德·贝克特;乔纳斯·希夫尔;彼得·施密特。;马蒂亚斯·乌尔布里奇 5 2017 一种可机械化的序数一阶理论。 Zbl 1496.68371号 彼得·施密特。 三 2017 面向对象软件中的信息流。 Zbl 1453.68027号 伯恩哈德·贝克特;丹尼尔·布伦斯;弗拉基米尔·克莱巴诺夫;克里斯托夫·谢本;彼得·施密特。;马蒂亚斯·乌尔布里奇 2 2014 Java动态逻辑中的动态帧。 Zbl 1308.68046号 彼得·施密特。;马蒂亚斯·乌尔布里奇;本杰明·韦伊 2 2011 KeY:面向对象系统的形式化方法。 Zbl 1202.68092号 沃尔夫冈·阿伦特;伯恩哈德·贝克特;雷纳·哈内尔;彼得·施密特。 11 2007 KEY系统:集成面向对象设计和形式化方法。 Zbl 1059.68548号 沃尔夫冈·阿伦特;托马斯·巴尔;伯恩哈德·贝克特;马丁·吉斯;埃尔玛·哈贝马斯;雷纳·哈内尔;沃尔夫拉姆·门泽尔;沃伊切赫·莫斯托夫斯基;彼得·施密特。 1 2002 KeY方法:集成面向对象设计和形式验证。 Zbl 0998.68651号 沃尔夫冈·阿伦特;托马斯·巴尔;伯恩哈德·贝克特;马丁·吉斯;埃尔玛·哈贝马斯;雷纳·哈内尔;沃尔夫拉姆·门泽尔;彼得·施密特。 11 2000 实现语义表。 Zbl 0972.68519号 约阿希姆·波塞加;彼得·施密特。 2 1999 集成自动化和交互式定理证明。 Zbl 0970.68151号 沃尔夫冈·阿伦特;伯恩哈德·贝克特;雷纳·哈内尔;沃尔夫拉姆·门泽尔;沃尔夫冈·雷夫;格哈德·谢尔霍恩;彼得·施密特。 8 1998 自动扣除。应用的基础。第三卷:应用。 Zbl 0954.00010号 5 1998 自动扣除。应用的基础。第一卷:基础、计算和方法。 Zbl 0948.00015号 1 1998 一个填满空间的三叶结。 Zbl 0891.52013号 施密特,P。 2 1997 填充节点。 Zbl 0884.52021号 彼得·施密特 2 1997 空间中的三重原生质体(具有规定的属性)。 Zbl 0915.52006号 彼得·施密特 1 1997 一阶分支时间逻辑的表演算。 Zbl 1422.03028号 五月,沃尔夫冈;彼得·施密特。 1 1996 Shannon图的自动演绎。 Zbl 0845.68095号 约阿希姆·波塞加;彼得·施密特。 4 1995 另一个充满空间的三叶结。 Zbl 0827.52012号 施密特,P。 1 1995 自由变量语义表中的自由化\(\delta\)规则。 Zbl 0826.03005号 雷纳·哈内尔;彼得·施密特。 16 1994 自由变量语义表中更自由化的\(\delta \)-规则。 Zbl 0794.03020号 伯恩哈德·贝克特;雷纳·哈内尔;彼得·施密特。 17 1993 离散和组合几何中的问题。 Zbl 0792.5209号 彼得·施密特 2 1993 一种用于知识表示系统的有序逻辑。 Zbl 0768.68196号 C·拜尔勒。;Hedtstück,美国。;普莱塔特,美国。;施密特,P.H。;J.西克曼。 11 1992 具有最致密填料特殊特性的磁盘。 兹布尔0731.52004 彼得·施密特 2 1991 非单调逻辑和归纳逻辑。第一届国际研讨会,德国卡尔斯鲁厄,1990年12月4日至7日。诉讼程序。 Zbl 0768.00011号 1 1991 排序逻辑的表演算。 Zbl 0747.68083号 施密特,P.H。;韦内克,W。 三 1990 带有排序文字的有序谓词逻辑的演算。 Zbl 0747.68079号 Hedtstück,美国。;施密特,P.H。 1 1990 非周期三重原生质体。 Zbl 0704.52010 施密特,P。 1 1990 n-同胚体类型的瓷砖。 Zbl 0697.52006号 彼得·施密特 4 1989 知识表示语言(L_{LILOG})。 Zbl 0714.68100号 克里斯托夫·贝尔;约琴·多尔;普莱塔,乌多;克劳斯·罗林格;彼得·施密特。;鲁迪·施图德 1 1989 量化Horn子句的计算复杂性。 Zbl 0664.03012号 马雷克·卡宾斯基;Kleine Büning,汉斯;彼得·施密特。 5 1988 原生质体的多形对。 Zbl 0669.52012年 彼得·施密特 1 1988 Eine dreivertige Logik zur Verarbeitung partieller信息。(用于部分信息处理的三值逻辑)。 Zbl 0645.03018号 施密特,P.H。 三 1987 \原生质体的(sigma)形态集。 Zbl 0616.52014号 彼得·施密特 1 1987 三值逻辑的计算方面。 Zbl 0644.03015号 施密特,P.H。 7 1986 赋值阿贝尔群的可判定理论。 Zbl 0604.03012号 施密特,P.H。 三 1986 可容纳有限或可数无限个瓷砖的成对瓷砖。 Zbl 0586.5209号 彼得·施密特 2 1986 具有指定数量瓷砖的瓷砖组。 Zbl 0628.05020号 彼得·施密特 1 1986 有序阿贝尔群理论不具有独立性。 Zbl 0507.03012号 Y.古雷维奇。;施密特,P.H。 24 1984 有序阿贝尔群的模型和子结构完备理论。 Zbl 0561.03020号 彼得·施密特。 4 1984 钻石公式:具有递归可枚举有效性问题的动态逻辑片段。 Zbl 0599.03028号 彼得·施密特。 三 1984 被评估阿贝尔群的不确定理论。 Zbl 0555.20034号 彼得·施密特。 三 1984 代数完备格。 Zbl 0532.03017号 施密特,P.H。 4 1983 局部纯拓扑阿贝尔群:基本不变量。 Zbl 0522.03023号 G.切尔林。;施密特,P.H。 1 1983 无扭阿贝尔群的基本理论,其谓词指定子群。 Zbl 0495.03017号 彼得·施密特。 2 1982 拓扑阿贝尔群的不可解释的Lt理论。 Zbl 0482.03016号 格雷戈里·谢尔林。;彼得·施密特。 2 1981 正规双Stone代数。 Zbl 0362.06017号 彼得·施密特。 1 1977 Stone代数的模型补足。 Zbl 0352.02040号 彼得·施密特。 8 1976 通过会议传播信息。 Zbl 0326.05001号 彼得·施密特 5 1976 Lineare Gleichvertilung公司。 Zbl 0277.10026号 彼得·施密特 1 1974 Summierungsverfahren和重新加密Markoff Ketten。 Zbl 0303.40012号 彼得·施密特 1 1973 所有引用出版物 前5名被引用出版物 全部的 前5名260位作者引用 6 伯恩哈德·贝克特 6 彼得·施密特。 5 De Gouw,施蒂恩 5 约翰·多夫兰 5 埃纳尔·布罗赫·约翰森 5 Owe、Olaf 4 德波尔(Frank S。 4 劳伦斯·查尔斯·保尔森 4 阮,达 4 徐,杨 三 马提亚斯·巴兹 三 贾斯敏·克里斯蒂安·布兰切特 三 阿尔特姆·切尔尼科夫 三 安德烈·杜奈茨 三 阿萨夫·哈森 三 弗兰齐斯卡·扬克 三 肯·卡内瓦 三 弗拉基米尔·克莱巴诺夫 三 刘军 三 安德烈·普拉泽 三 法国波因特 三 沃尔夫冈·雷夫 三 菲利普·吕默 三 格哈德·谢尔霍恩 三 马蒂亚斯·乌尔布里奇 三 克劳斯·皮特·沃思 2 罗杰·安东森 2 安德鲁·W·阿佩尔。 2 马提亚斯·阿斯琴布伦纳 2 卞金亭 2 Böhme,萨沙 2 曹楚宏 2 陈,胡比 2 Din、Crystal Chang 2 埃格利,乌韦 2 Aleksandr Sergeevich,Gerasimov 2 雷纳·哈内尔 2 亚蒂尔·哈列维 2 Hiep,Hans-Dieter A。 2 意大利卡普兰 2 艾蒂安·凯尔(Etienne E.Kerre)。 2 丹尼尔·莱万特(Daniel M.Leivant)。 2 孟,贾 2 玛丽安娜·尼科洛西·阿斯蒙多 2 约阿希姆·波塞加 2 大卫·J·派姆。 2 艾克·里特 2 Jurg施密德 2 帕特里克·西蒙内塔 2 兹比格涅夫·斯塔奇尼亚克 2 玛丽亚娜·维卡里亚 2 阿里德·瓦勒尔 2 弗兰克·奥拉夫·瓦格纳 2 林肯·瓦伦。 2 亚历山大·维格尔 1 阿米尔·穆罕默德(Amir-Mhammadian,Sepehr) 1 Sylvy安斯科姆 1 Krzysztof Rafal公寓 1 尼科斯·阿雷奇加 1 尼古拉·奥格 1 巴西奇,博扬 1 安德烈亚斯·鲍迪什 1 亚历克西斯·贝达德 1 克里斯托夫·贝尔 1 吕克·贝莱尔 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 伦纳特·贝林格 1 尼尔·巴德瓦吉 1 沃尔夫冈·比贝尔 1 米歇尔·比多特 1 马格纳斯·比约克 1 雅切克·Błażewicz 1 亚历山大·博克迈尔 1 玛丽亚·保拉(Maria Paola Bonacina) 1 乍得·布朗·爱德华 1 杰兹·布热津斯基 1 乌韦·布贝克 1 理查德·布贝尔 1 比尔科特,汉斯·尤根 1 纪尧姆·伯勒 1 纪尧姆·伯里 1 坎通纳,多梅尼科 1 拉斐尔·考德利埃 1 杰拉德·詹华·张 1 格雷戈里·谢尔林。 1 萨维里奥·西塔迪尼 1 克拉克、大卫·迈克尔 1 安东尼·科恩(Anthony G.Cohn)。 1 凯文·康普顿。 1 彼得·克雷西。 1 巴勃罗Cubides Kovacsics 1 达科斯塔,翁贝托·苏扎 1 达戈斯蒂诺,马塞洛 1 费卢西奥·达米亚尼 1 马丁·德·波尔(Martin J.M.de Boer)。 1 戴维·戴哈贝 1 大卫·德拉哈耶 1 弗朗索瓦斯·德隆 1 Jyotirmoy V.德斯穆赫。 1 Dobrowolski,Jan Cz。 …还有160多名作者 全部的 前5名54篇连载文章中引用 13 自动推理杂志 10 纯逻辑与应用逻辑年鉴 7 数学逻辑档案 6 理论计算机科学 5 代数普遍性 5 符号逻辑杂志 5 符号计算杂志 4 以色列数学杂志 4 信息科学 4 离散和计算几何 4 信息与计算 4 计算的形式方面 4 系统设计中的形式化方法 三 人工智能 三 逻辑与代数程序设计杂志 2 离散应用数学 2 计算机与系统科学杂志 2 伦敦数学学会杂志。第二系列 2 Monatsheft für Mathematik 2 美国数学学会会刊 2 新一代计算 2 数学科学杂志(纽约) 2 数学与人工智能年鉴 2 应用逻辑杂志 2 程序设计中的逻辑和代数方法杂志 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 代数通讯 1 计算机与数学及其应用 1 离散数学 1 富兰克林学院学报 1 代数与逻辑 1 Dedicata几何 1 数学手稿 1 大阪数学杂志 1 Studia Logica公司 1 欧洲组合数学杂志 1 订单 1 国际近似推理杂志 1 杰泰。实验与理论人工智能杂志 1 欧洲运筹学杂志 1 美国数学学会公报。新系列 1 RAIRO公司。Informatique Théorique et Applications公司 1 图卢兹科学学院年鉴。数学题。塞里六世 1 应用非经典逻辑杂志 1 组合数学电子杂志 1 符号逻辑公报 1 工程中的数学问题 1 Matematicheskie Trudy公司 1 国际不确定性、模糊性和基于知识的系统杂志 1 朱西厄数学研究所学报 1 ACM计算逻辑汇刊 1 Oberwolfach报告 1 泛逻辑 1 奇点杂志 全部的 前5名在25个字段中引用 96 数学逻辑和基础(03-XX) 91 计算机科学(68至XX) 15 阶、格、有序代数结构(06-XX) 13 场论和多项式(12-XX) 9 凸和离散几何(52至XX) 6 组合数学(05-XX) 4 一般代数系统(08-XX) 4 信息与通信理论、电路(94-XX) 三 交换代数(13-XX) 三 结合环与代数(16-XX) 2 总体主题;集合(00-XX) 2 数论(11-XX) 2 流形和细胞复合体(57至XX) 2 系统论;控制(93至XX) 1 历史和传记(01-XX) 1 代数几何(14-XX) 1 非结合环与代数(17-XX) 1 群论与推广(20-XX) 1 拓扑群、李群(22日至XX日) 1 几个复变量和分析空间(32-XX) 1 序列、级数、可和性(40-XX) 1 功能分析(46倍X倍) 1 微分几何(53至XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文