何塞·努诺·奥利维拉;豪尔赫·索萨·品托;巴博萨、路易斯·索亚雷斯;Henriques,Pedro Rangel佩德罗·兰格尔 向何塞·曼努埃尔·瓦伦萨致敬。 (英文) Zbl 07576522号 J.日志。代数。方法计划。 128,文章ID 100792,5 p.(2022). 概要:本期《程序设计中的逻辑和代数方法杂志》特刊计划在何塞·曼努埃尔·埃斯加尔哈多·瓦伦萨(JoséManuel Esgalhado Valença)欢庆之际向他致敬。从最深层的意义上说,这是对一位教授、一位同事和一位朋友的致敬,但最重要的是对一段漫长而鼓舞人心的学术旅程的致敬,这段旅程深刻地塑造了信息学作为一门学科的发展科学领域在葡萄牙。正如他告诉我们的那样,一个需要被广泛理解的科学领域:不仅是一个独立的研究领域,而且是一个教育支柱,一个社会和经济发展战略,一个多方面职业生涯的基础。这篇序言介绍了这段旅程的一些步骤。特刊精选了由他的合作者、同事和朋友撰写的科学论文,涵盖了何塞·瓦伦萨在葡萄牙帮助启动和巩固的不同领域,即计算逻辑、验证和机械化推理以及信息安全。 MSC公司: 68倍 计算机科学 关键词:计算逻辑;验证;机械化推理;信息安全 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}等人,J.Log。代数。方法计划。128,文章ID 100792,5 p.(2022;Zbl 07576522) 全文: 内政部 参考文献: [1] 瓦伦萨,J.M.,线性多变量系统稳定性的最佳充分条件,电子。莱特。,12, 18, 470-471 (1976) [2] 瓦伦萨,J.M。;Harris,C.J.,多变量线性系统稳定性的Nyquist型判据,(1978年IEEE决策与控制会议,包括第17届自适应过程研讨会·兹比尔0429.93043 [3] 瓦伦萨,J.M。;Harris,C.J.,非线性多变量系统的稳定性准则,Proc。仪表电气。工程师,126,623-627(1979) [4] 瓦伦萨,J.M。;Harris,C.J.,多变量系统输入/输出稳定性的Nyquist准则,国际控制杂志,31,5,917-935(1980)·Zbl 0439.93047号 [5] 哈里斯·C·J。;瓦伦萨,J.M.,《输入输出动力系统的稳定性》(1983),学术出版社·Zbl 0543.93058号 [6] Bird,R.S。;Rabe,F.,《如何使用非确定性函数进行计算》,(Hutton,G.,《程序构建的数学——第十三届国际会议》,MPC 2019,葡萄牙波尔图,2019年10月7日至9日,《程序构造的数学——第一届国际会议论文集》,MPC2019,葡萄牙,波尔图,2011年10月7-9日,计算机科学论文集,第11825卷(2019),斯普林格),138-154·Zbl 1434.68078号 [7] Sernadas,A。;Sernadas,C。;Valença,J.M.,《基于理论的制度类型学概念》,(Astesiano,E.;Reggio,G。;Tarlecki,A.,《数据类型规范的最新趋势》,第十届抽象数据类型规范研讨会与第五届COMPASS研讨会联合举办。《数据类型规范的最新趋势》,第十届抽象数据类型规范研讨会与第五届COMPASS研讨会联合举办,意大利圣马格里塔,1994年5月30日至6月3日,论文集。数据类型规范的最新趋势,第十届抽象数据类型规范研讨会与第五届COMPASS研讨会联合举办。数据类型规范的最新趋势,第十届抽象数据类型规范研讨会,与第五届COMPASS研讨会联合举办,S.Margherita,意大利,1994年5月30日至6月3日,计算机科学论文选集,第906卷(1994),Springer),420-436 [8] 法里亚,H。;Valença,J.M.,使用轻量级密码原语的后量子认证,IACR Cryptol。电子打印架构。,第1298条pp.(2021) [9] Martins-Ferreira,N。;Sobral,M.,Schreier分裂预序幺半群的扩张,J.Log。代数方法程序。,120,第100643条pp.(2021)·Zbl 07363408号 [10] 桑托,J.E。;平托,L。;Uustalu,T.,Plotkin的按值调用λ演算作为模态演算,J.Log。代数方法程序。,127,第100775条pp.(2022)·Zbl 07531442号 [11] Ramos,J。;Rasga,J。;Sernadas,C。;Viganó,L.,基于事件的时间戳索赔逻辑,J.Log。代数方法程序。,121,第100684条pp.(2021)·Zbl 07377685号 [12] Benevides,M.R.F。;马德拉,A。;马丁斯,M.A.,带公告的分级认识逻辑,J.Log。代数方法程序。,125,第100732条pp.(2022)·Zbl 1491.03013号 [13] 比克福德,M。;Kozen,D。;Silva,A.,在Nuprl,J.Log中形式化Moessner定理和推广。代数方法程序。,124,第100713条pp.(2022)·Zbl 07432496号 [14] Filliátre,J.,《分散不变量的更简单证明》,J.Log。代数方法程序。,121,第100645条pp.(2021)·Zbl 1518.68048号 [15] 阿尔梅达,J.C.B。;巴博萨,M。;Barthe,G。;帕切科,H。;佩雷拉,V。;Portela,B.,《安全计算中验证编译器角色的形式化处理》,J.Log。代数方法程序。,125,第100736条pp.(2022)·Zbl 07485817号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。