×
鲁道夫·伯格哈默;温特，迈克尔

冈瑟·施密特（Gunther Schmidt）的数学家和计算机科学家生涯。 （英语） Zbl 1434.01024号

J.日志。阿尔盖布。方法计划。 83，第2号，300-308（2014）.
摘要：我们简要介绍了冈瑟·施密特的学术生涯，从他早期在哥廷根格奥尔格·奥古斯都大学和慕尼黑路德维希·马克西米利安大学学习，到他在慕尼黑工业大学学习，再到他在慕尼黑联邦国防军大学学习。我们还强调了他在为数学推理和程序开发提供机器支持方面所做的努力，以及他在合作和项目方面的活动，最后还强调了冈瑟在工作和科学之外的一些兴趣。

MSC公司：

01A70号 传记、讣告、个人信息、参考书目
68-03 计算机科学史

传记参考：

冈瑟·施密特

软件：

重新查看;Rath公司;拉尔夫;TituRel公司
PDF格式BibTeX公司 XML格式引用
\textit{R.Berghammer}和\textit{M.Winter}，J.Log。阿尔盖布。方法计划。83，第2号，300--308（2014；Zbl 1434.01024）
全文： 内政部

参考文献：

[1] Abold-Thalmann，H。；Berghammer，R。；施密特，G.，《具体关系的操纵：重新查看-系统（1989），Fakultät für Informatik，德国慕尼黑联邦国防大学，Bericht Nr.8905
[2] Alami，L.，《关系分析对话系统》（1985），慕尼黑理工大学文凭
[3] Bauer，F.L.，《慕尼黑项目CIP》，第一卷：广谱语言CIP-L，Lect。注释计算。科学。，第183卷（1985），施普林格·Zbl 0572.68010号
[4] Berghammer，R。；施密特，G。；温特，M。，重新查看和Rath公司-处理关系的两个系统，（de Swart，H.；Orlowska，E.；Schmidt，G.；Roubens，M.，《关系结构作为知识工具的理论和应用》。《关系结构用作知识工具的原理和应用》，Lect.Notes Compute.Sci.，第2929卷（2003），Springer），1-16·Zbl 1203.68319号
[5] Brethauer，R.，Ein Formelmanipulationssystem zur computergestützten Beweisführung in der Relationenalgebra（1991），德国慕尼黑联邦国防大学，文凭
[6] （Brink，C.；Kahl，W.；Schmidt，G.，《计算机科学中的关系方法》，《计算进展》（1997），Springer）·Zbl 0871.00027号
[7] Cardoso，R.，Untersuchung von parallelen Programmen mit relationenalgebraischen Methoden（1982），慕尼黑理工大学文凭
[8] Gunter，C.A.，《profinite偏序集的通用域技术》，（Brauer，W.，《自动机》，《语言与编程》，自动机，《语言和编程》，《Lect.Notes计算科学》，第194卷（1985）），232-243·Zbl 0586.68046号
[9] Hattensperger，C.，Rechnergestütztes Beweisen in heterogenen Relationenalgebren（1997），联邦国防军慕尼黑大学，论文
[10] Hattensperger，C。；Berghammer，R。；施密特，G。，拉尔夫-关系代数公式操作系统和校对器，（Nivat，M.；Rattray，C.；Rus，T.；Scollo，G.，《代数方法论和软件技术》，代数方法论与软件技术，计算机研讨会（1993），Springer），407-408
[11] Kahl，W.，Algebraische Termersetzung mit gebundenen Variablen（1995），德国慕尼黑大学，论文
[12] Kahl，W.，术语图编程系统啤酒花，（Berghammer，R.；Lakhnech，Y.，《系统规范、开发和验证的工具支持》（1999），施普林格出版社），136-149·Zbl 0979.68510号
[13] Langmaack，H。；Schmidt，G.，Der Verband Der Zöpfe（1969年），Abteilung Mathematik，Technische Hochschule München，Bericht 6914
[14] Langmaack，H。；Schmidt，G.，Klassen unwesentlich verschiedener Ableitungen als Verbände，（Dörr，J.；Hotz，G.、Automatentheorie und Formale Sprachen，Bericht 3（1970），《数学与科学》，169-172·Zbl 0209.31003号
[15] （Mayr，E.；Schmidt，G.；Tinhofer，G.，《计算机科学中的图论概念》，Lect.Notes Compute.Sci.，第903卷（1994），Springer）·Zbl 0813.68031号
[16] （Schmidt，G.；Berghamer，R.，《计算机科学中的图论概念》，《计算机科学中的图论概念》，Lect.Notes Comput.Sci.，第570卷（1992年），施普林格出版社）·兹标0759.00014
[17] Schmidt，G.，Kompaktifizierung normaler komplexer Räume（1962），路德维希·马克西米利安-慕尼黑大学，文凭
[18] Schmidt，G.，Fortsetzung全变形器Abbildungen unter Erweiterung des Bildraums（1965），路德维希·马克西米利安-慕尼黑大学，论文
[19] 施密特，G。；Ströhlein，T.，时间表构建中的布尔矩阵迭代，线性代数应用。，15, 27-51 (1976) ·Zbl 0358.94049号
[20] Schmidt，G.，Eine relationionanalgebraische Auffassung der Graphentheorie，（Noltemier，H.，Graphen，Algorithmen und Datenstruturen.Graphen、Algorithen und Datestruturen，应用计算机科学-Berichte zur Praktischen Informatik（1976），Hanser），315-325·Zbl 0374.02036号
[21] Schmidt，G.，Programme als partelle Graphen（1977），慕尼黑理工大学，Habilitationsschrift·Zbl 0399.68016号
[22] Schmidt，G.，《用部分图研究程序》，（Maurer，H.A.，《自动机》，《语言与编程》，自动机，《语言和编程》，Lect.Notes Compute.Sci.，第71卷（1979年）），505-519·Zbl 0404.68020号
[23] Schmidt，G.，《程序作为部分图I：流等价性和正确性》，Theor。计算。科学。，15, 1-25 (1981) ·Zbl 0493.68015号
[24] Schmidt，G.，《作为部分图的程序II：递归》，Theor。计算。科学。，15, 159-179 (1981) ·Zbl 0493.68016号
[25] 施密特，G。；Berghammer，R。；齐勒，H.，《用萌芽描述语义域》，《信息学报》。，27, 3, 217-245 (1989) ·Zbl 0681.68100号
[26] 施密特，G。；Ströhlein，T.，关系与图，计算机科学家的离散数学，EATCS理论计算机科学专著（1993），Springer，英文翻译：·兹比尔0900.68328
[27] Schmidt，G.，《多级关系参考语言的建议》，J.Relat。方法计算。科学。，1, 314-338 (2004)
[28] Schmidt，G.，Partiality I:嵌入关系代数，J.Log。阿尔盖布。程序。，66, 2, 212-238 (2006) ·Zbl 1086.68093号
[29] Schmidt，G.，《关系度量与集成》，（Schmit，R.A.，《计算机科学中的关系与Kleene代数》，Lect.Notes Compute.Sci.，第4136卷（2006）），343-357·Zbl 1134.68556号
[30] Schmidt，G.，《矩形、条纹和倒数》，（Berghammer，R.；Möller，B.；Struth，G，《计算机科学中的关系和Kleene代数》，《Lect.Notes计算机科学》，第4988卷（2008）），352-366·Zbl 1139.03047号
[31] 施密特，G。；Berghammer，R.，偏好建模中的关系度量和集成，J.Log。阿尔盖布。程序。，76, 1, 112-129 (2008) ·Zbl 1140.68495号
[32] Schmidt，G.，《关系数学》，《数学及其应用百科全书》，第132卷（2010年），剑桥大学出版社
[33] 施密特，G。；Berghamer，R.，接触，闭包，拓扑，以及行和列类型关系的链接，J.Log。阿尔盖布。程序。，80, 6, 339-361 (2011) ·Zbl 1231.03058号
[34] Schmidt，G.，《围绕部分的构造》，（de Swart，H.C.M.，《计算机科学中的关系和代数方法》，计算机科学学报，第6663卷（2011年），第314-330页·Zbl 1329.03096号
[35] Schmidt，G.，Partiality II：构造关系代数，J.Log。阿尔盖布。程序。，81,660-679（2012年）·兹比尔1255.03056
[36] Schmidt，G.，社会选择中的关系概念，（Kahl，W.；Griffin，T.G.，《计算机科学中的关系和代数方法》，计算机科学学报，第7560卷（2012年），278-293·Zbl 1364.91051号
[37] （de Swart，H.；Orlowska，E.；Schmidt，G.；Roubens，M.，《关系结构作为知识工具的理论和应用》，《作为知识工具，关系结构的理论与应用》，Lect.Notes Compute.Sci.，第2929卷（2003），Springer）·Zbl 1029.00017号
[38] （de Swart，H.；Orlowska，E.；Schmidt，G.；Roubens，M.，《关系结构作为知识工具的理论和应用》，第二卷。《关系结构理论和应用作为知识工具》，Lect.Notes Artif.Intell.，第4342卷（2006），Springer）·Zbl 1151.68001号
[39] （Tinhofer，G.；Schmidt，G.，《计算机科学中的图论概念》，《计算科学学报》，第246卷（1987），Springer）·Zbl 0619.00022号
[40] 齐勒，H。；施密特，G。；Berghammer，R.，《基于关系代数的高等对象交互式图形操作系统》，（Tinhofer，G.；Schmidt，G.，《计算机科学中的图论概念》，计算机科学学报，第246卷（1987），Springer），68-81
[41] Zierer，H.，Programmierung mit Funktionsobjekten:Konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partitelle Auswertung（1988），慕尼黑理工大学，论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。