编辑配置文件(在新选项卡中打开) F.A.斯托姆。 合著者距离 作者ID: 跺脚.f-a 发布日期: F.A.斯托姆。 已编制索引的文档: 4出版物自1989年起 合著者: 2合著者具有2联合出版物 40位合作作者 合著者 0 单一作者 1 罗布·特里斯坦·格特 1 赫尔穆特·帕奇。 系列 2 计算的形式方面 1 信息与计算 领域 4 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用23中的次22文件 引用人▼ 年份▼ 演算作为公平性参数的断言语言。 Zbl 0678.68010号 F.A.斯托姆。;德·罗弗,W.P。;格思,R.T。 12 1989 分布式算法的顺序推理原理。 Zbl 0829.68066号 F.A.斯托姆。;德罗弗,W.-P。 7 1994 通过转换和断言推理导出的快速模式匹配算法。 Zbl 0697.68025号 帕特施,H.A。;F.A.斯托姆。 4 1990 分布式算法的顺序推理原理。 Zbl 0829.68066号 F.A.斯托姆。;德罗弗,W.-P。 7 1994 一种基于变换和比例推理的快速模式匹配算法。 Zbl 0697.68025号 帕特施,H.A。;F.A.斯托姆。 4 1990 演算作为公平性参数的断言语言。 Zbl 0678.68010号 F.A.斯托姆。;德·罗弗,W.P。;格思,R.T。 12 1989 所有引用的出版物 前5名被引用出版物 全部的 前5名33位作者引用 6 阿米尔·普努利 4 尤尼特·凯斯滕 2 佐哈尔·曼纳 2 奥尔德罗格(Ernst-Rüdiger Olderog) 2 马尼省斯瓦米纳坦 1 佩妮·安德森 1 David A.Basin。 1 Chebotarev,Anatoli N。 1 达姆,丹尼斯·雷内 1 凯·恩格哈特 1 克莱门斯·菲舍尔 1 乌尔里希·汉内曼 1 威尔·扬森 1 查兰吉特·朱特拉。 1 Joost-Pieter卡托恩 1 Ekkart Kindler公司 1 尼尔斯·克拉伦德 1 拉尔夫·拉梅尔 1 约翰·朱尔斯·查尔斯·梅耶 1 约瑟夫·莫里斯(Joseph M.Morris)。 1 摩西,约拉姆 1 Doron A.Peled。 1 利奥·拉维夫 1 沃尔夫冈·雷西格 1 伊拉德·沙哈尔 1 亨尼·B·西普玛。 1 斯莱尼娜,马蒂奥 1 马丁·斯特芬 1 F.A.斯托姆。 1 弗兰克·斯托普 1 莫西·亚亚科夫·瓦尔迪 1 哈根·沃尔泽 1 沃尔特·罗尔夫 全部的 前5名10篇连载文章中引用 6 计算的形式方面 5 理论计算机科学 1 信息处理信件 1 计算机与系统科学杂志 1 符号计算杂志 1 信息与计算 1 分布式计算 1 控制论与系统分析 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 在3个字段中引用 22 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 按年份列出的引文