编辑配置文件(在新选项卡中打开) 汉斯·朗马克 合著者距离 作者ID: 朗马可·汉斯 发布方式: 汉斯·朗马克;H·朗马克。 外部链接: MGP公司·维基数据·接地·ID参考 已编制索引的文档: 29出版物自1960年以来,包括2本书 6作为编辑的贡献·1进一步贡献 合著者: 25位合著者具有19联合出版物 304 Co-Co作者 全部的 前5名合著者 16 单作者的 三 安德烈·索尔维基 三 马雷克·沃佩霍夫斯基 2 弗里德里希·路德维希·鲍尔 2 乌苏拉·希尔 2 曼弗雷德·保罗 2 格哈德·西格米勒 1 Jean-Raymond Abrial先生 1 比约纳,迪内斯 1 伊贡博格尔 1 Ch.克拉塞曼。 1 威廉·鲍尔·德·罗弗 1 尤根·艾克尔 1 沃尔夫冈·弗里林豪斯 1 沃尔夫冈·戈里克 1 A.A.Grau。 1 C.A.R.Tony Hoare 1 住户,阿尔斯通·斯科特 1 曼弗雷德·克劳斯 1 安东尼·克雷茨马尔 1 沃尔夫拉姆·曼弗雷德·利普 1 奥尔德罗格(Ernst-Rüdiger Olderog) 1 弗兰克·威廉·约翰(Frank William John Olver) 1 海因茨·鲁蒂绍泽 1 克劳斯·萨梅尔森 1 博多Schlender 1 冈瑟·施密特 1 Joachim W.施密特。 1 汉斯·鲁道夫·施瓦兹 1 爱德华·施蒂费尔。 1 维托皮尔,简 1 弗兰茨·瓦格纳 全部的 前5名系列 4 信息学报 三 计算机科学课堂讲稿 2 计算机基础理论 1 信息处理信件 1 计算 1 信息与计算 1 国际微分方程与应用杂志 1 德国数学研究所 1 经济学和数学系统课堂讲稿 1 Leitfäden der Angewandten Mathematik und Mechanik(LAMM) 1 穆斯特大学数学研究所 领域 31 计算机科学(68至XX) 5 一般性和全局性主题;集合(00-XX) 1 群论与推广(20-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用72中的次49文件 引用人▼ 年份▼ 工业应用的形式化方法。规范和编程蒸汽锅炉控制。 Zbl 1060.68501号 18 1996 在高级编程语言中正确传递过程参数。 Zbl 0263.68012号 汉斯·朗马克 13 1973 将过程作为打开的子程序。二、。 Zbl 0304.68016号 汉斯·朗马克 10 1974 现代编程语言与过程的类Hoare系统:功能、限制和最可能的扩展。 Zbl 0441.68008号 汉斯·朗马克;奥尔德罗格(Ernst-Rüdiger Olderog) 7 1980 关于有限解释类ALGOL程序的终止问题。 Zbl 0478.68013号 汉斯·朗马克 4 1982 有限ALGOL 68模程序的形式终止问题。 Zbl 0421.68018号 汉斯·朗马克;沃尔夫拉姆·利普;弗兰茨·瓦格纳 4 1979 Klassen unwesentlich verschiedener Ableitungen als Verbände。 兹伯利0209.31003 H·朗马克。;施密特,G。 三 1970 正则规范系统在可从左向右翻译的语法中的应用。 Zbl 0267.68037号 H·朗马克。 2 1971 类ALGOL编程语言可接受的特征。 Zbl 0558.68005号 Ch.克拉塞曼。;H·朗马克。 2 1984 Chomsky-Sprachen的Präzisierung der Begriffe Phrasenstruktur und strukturelle Mehrdeutigkeit。 Zbl 0174.02603号 H·朗马克。;J·艾克尔。 2 1967 VDM’90。软件开发中的VDM和Z形式化方法。第三届VDM欧洲国际研讨会,基尔,FRG,1990年4月17日至21日。诉讼程序。 Zbl 0746.68006号 1 1990 实时和容错系统中的形式化技术。1994年9月19日至23日,与工作组ProCoS(德国吕贝克)联合举办了第三届国际研讨会。诉讼程序。 Zbl 0803.0029号 1 1994 Informatik:编程。 Zbl 0248.68002号 坎齐亚,P。;H·朗马克。 1 1973 面向对象语言中继承和静态类ALGOL绑定的一致性。 Zbl 1278.68043号 汉斯·朗马克 1 2004 关于程序设计语言中的决策问题理论。 Zbl 0463.68019号 汉斯·朗马克 1 1979 自动计算手册。编辑:F.L.Bauer、A.S.Householder、F.W.J.Olver、H.Rutishauser、K.Samelson和E.Stiefel。第一卷,b.A.A.Grau,U.Hill和H.Langmaack:ALGOL 60的翻译。 兹比尔0183.18902 1 1967 Zum Begriff der Modularität von Programmiersprachen。 Zbl 0317.68011号 H·朗马克。 1 1974 程序模块的级联。语义和实现问题的代数方法。 Zbl 0585.68017号 曼弗雷德·克劳斯;汉斯·朗马克;安东尼·克雷茨马尔;马雷克·沃佩霍夫斯基 1 1985 面向对象语言中继承和静态类ALGOL绑定的一致性。 Zbl 1278.68043号 汉斯·朗马克 1 2004 工业应用的形式化方法。规范和编程蒸汽锅炉控制。 Zbl 1060.68501号 18 1996 实时和容错系统中的形式化技术。1994年9月19日至23日,在德国吕贝克与工作组ProCoS联合举办了第三届国际研讨会。诉讼程序。 Zbl 0803.0029号 1 1994 VDM’90。软件开发中的VDM和Z形式化方法。第三届VDM欧洲国际研讨会,基尔,FRG,1990年4月17日至21日。诉讼程序。 Zbl 0746.68006号 1 1990 程序模块的级联。语义和实现问题的代数方法。 Zbl 0585.68017号 曼弗雷德·克劳斯;汉斯·朗马克;安东尼·克雷茨马尔;马雷克·沃佩霍夫斯基 1 1985 类ALGOL编程语言可接受的特征。 Zbl 0558.68005号 Ch.克拉塞曼。;Langmaack,H。 2 1984 关于有限解释类ALGOL程序的终止问题。 Zbl 0478.68013号 汉斯·朗马克 4 1982 现代编程语言与过程的类Hoare系统:功能、限制和最可能的扩展。 Zbl 0441.68008号 汉斯·朗马克;奥尔德罗格(Ernst-Rüdiger Olderog) 7 1980 有限ALGOL 68模程序的形式终止问题。 Zbl 0421.68018号 汉斯·朗马克;沃尔夫拉姆·利普;弗兰茨·瓦格纳 4 1979 关于程序设计语言中决策问题的理论。 Zbl 0463.68019号 汉斯·朗马克 1 1979 将过程作为打开的子程序。二、。 Zbl 0304.68016号 汉斯·朗马克 10 1974 Zum Begriff der Modularität von Programmiersprachen。 Zbl 0317.68011号 H·朗马克。 1 1974 关于高等编程语言中正确的过程参数传输。 Zbl 0263.68012号 汉斯·朗马克 13 1973 Informatik:编程。 Zbl 0248.68002号 Kandzia,P。;H·朗马克。 1 1973 正则规范系统在可从左向右翻译的语法中的应用。 Zbl 0267.68037号 H·朗马克。 2 1971 Klassen unwesentlich verschiedener Ableitungen als Verbände。 Zbl 0209.31003号 H·朗马克。;施密特,G。 三 1970 Chomsky-Sprachen的Präzisierung der Begriffe Phrasenstruktur und strukturelle Mehrdeutigkeit。 Zbl 0174.02603号 H·朗马克。;J·艾克尔。 2 1967 自动计算手册。编辑:F.L.Bauer、A.S.Householder、F.W.J.Olver、H.Rutishauser、K.Samelson和E.Stiefel。第一卷,b.A.A.Grau,U.Hill和H.Langmaack:ALGOL 60的翻译。 Zbl 0183.18902号 1 1967 所有引用出版物 前5名被引用出版物 全部的 前5名82位作者引用 5 汉斯·朗马克 4 沃尔夫拉姆·曼弗雷德·利普 三 迪特尔·阿姆布鲁斯特 三 阿萨夫·科福里。 三 何塞·梅塞盖尔·瓜伊塔 三 奥尔德罗格(Ernst-Rüdiger Olderog) 2 Krzysztof Rafal公寓 2 Jan A.Bergstra。 2 Peter Csaba,Olveczky 2 约翰·V·塔克。 2 巴威·乌尔兹琴 1 罗布·D·阿尔森。 1 埃吉迪奥·阿斯泰西亚诺 1 Bae,Kyungmin先生 1 鲁道夫·伯格哈默 1 伊贡博格尔 1 乔纳森·鲍恩。 1 阿尔贝托·卡萨格兰德 1 彼得·F·克里斯托弗森。 1 克拉克(Edmund Melson jun Clarke)。 1 达姆,沃纳 1 德波尔,弗兰克·S。 1 斯蒂恩·德古乌 1 彼得·戴森(Peter H.Deussen)。 1 德意志,摩什 1 拉兹万·迪亚科内斯库 1 尤根·艾克尔 1 亚历山德罗·范特奇 1 埃尔弗里德·费尔 1 凯·乌里奇·费尔根特鲁 1 阿维兹里·西格蒙德·弗伦克尔 1 尼库·弗鲁贾。 1 德国人,Steven M。 1 文森佐·格瓦西 1 斯特凡妮娅·格内西 1 沃尔夫冈·格卢布斯基 1 Joseph Yehuda Halpern 1 米克尔·汉森 1 Stephan Heilbrunner先生 1 马丁·亨森。 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 哈迪·亨加 1 拉尔夫·休克 1 沃纳·科恩 1 彼得·科普克(Peter W.Kopke)。 1 亚辛·拉赫内赫 1 金·古德斯特兰·拉森 1 李宣东 1 李勇 1 雅克·勒克斯 1 本·卢科修斯 1 拉杜·马达尔 1 安德斯·马里加德 1 马丁·奥列特,纳西索 1 乌苏拉·马丁 1 巴德·米什拉 1 雷纳·欧希礼 1 保罗·奥利瓦 1 裴瑜 1 卡拉广场 1 阿尔贝托,Policriti 1 阿努吉·普里 1 安德斯·雷文(Anders P.Ravn)。 1 吉安娜·雷吉奥 1 朱利安·特里尔·林格莫斯 1 莫诺,伦克 1 巴里·罗森。 1 安德烈·索尔维基 1 劳拉·塞米尼 1 塞雷,凯萨 1 Robert F.Stärk。 1 唐志松 1 Jerzy Tiuryn 1 瓦莱亚,普拉文·普拉塔普 1 弗兰茨·瓦格纳 1 马雷克·沃佩霍夫斯基 1 卡尔·温克尔曼 1 温特,迈克尔 1 严,安 1 赵建华 1 郑国良 1 郑涛 全部的 前5名14篇连载文章中引用 14 理论计算机科学 6 信息学报 4 计算机与系统科学杂志 三 计算 三 信息与计算 三 计算的形式方面 2 信息处理信件 2 逻辑与代数程序设计杂志 1 数学系统理论 1 新一代计算 1 中国科学。E系列 1 欧洲控制杂志 1 泛逻辑 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 46 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 三 系统论;控制(93至XX) 1 历史与传记(01-XX) 1 组合数学(05-XX) 1 数论(11-XX) 1 群论与推广(20-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.