×
马蒂·奥利特，纳西索（编辑）；Csaba奥·lveczky（编辑）；卡罗琳·塔尔科特（编辑）

逻辑、重写和并发。纪念何塞·梅塞盖尔65岁生日的文章。 （英语） Zbl 1319.68011号

计算机科学课堂讲稿9200.查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。xi，第634页。(2015).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。
索引文章：
马丁·奥列特，纳西索；奥列夫茨基，彼得·萨巴（Peter Csaba）；卡罗琳·塔尔科特JoséMeseguer：科学家和杰出的朋友，1-47岁[Zbl 1321.01052号]
路易斯·阿吉雷；马丁·奥列特，纳西索；米盖尔·帕洛米诺；伊莎贝尔·皮塔，重写逻辑和Maude中的句子规范化条件收缩模，48-71[Zbl 1321.68324号]
马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜，结合运行时检查和切片来改进Maude错误诊断，72-96[Zbl 1321.68325号]
托马斯·安纳斯塔西奥。《神经科学中的计算机建模：从命令式编程到声明式编程》。神经科学中的莫德建模。，97-113 [Zbl 1322.92006年]
Bae，Kyungmin；彼得·塞巴·奥维茨基，混合多速率PALS，114-134[Zbl 1321.68354号]
马西莫·巴托莱蒂；皮耶保罗·德加诺（Pierpaolo Degano）；保罗·迪·吉安贝拉迪诺；罗伯托·祖尼诺，Petri网和线性逻辑中的借方和贷方，135-159[兹比尔1321.68356]
David Basin；米歇尔·凯勒；拉多米罗维奇，萨沙；拉尔夫·萨西，爱丽丝和鲍勃遇到方程式理论，160-180[Zbl 1321.68343号]
博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；乌尔里希·富巴赫；维奥里卡Sofrone-Stokkerman，关于基于一阶模型的推理，181-204[兹伯利1322.03013]
罗伯托·布鲁尼；埃尔南梅尔格拉蒂；乌戈·蒙塔纳里，状态连接器的标准形式，205-227[Zbl 1321.68357号]
陈硕，用优雅的逻辑启发博士生，228-231[Zbl 1321.68006号]
Manuel Clavel；弗朗西斯科·杜兰；史蒂文·艾克（Steven Eker）；圣地亚哥埃斯科瓦尔；帕特里克·林肯；马丁·奥列特，纳西索；卡罗琳·塔尔科特，莫德二十年，232-254[Zbl 1321.68007号]
欧文·恩格尔，形式宇宙，255-263[Zbl 1322.03002号]
斯蒂芬·福克（Stephan Falke）；迪帕克·卡普尔，公式何时是循环不变量？，264-286 [Zbl 1321.68191号]
高基町五指，CafeOBJ中生成和检查方法的通用证明分数，287-310[Zbl 1321.68345号]
古铁雷斯，劳尔；萨尔瓦多卢卡斯，在上下文相关重写终止时冻结位置的函数调用，311-330[Zbl 1321.68330号]
罗尔夫·亨尼克；安娜贝拉·克拉尔（Annabelle Klarl）；马丁·威尔辛、模型检查海伦娜旋转合奏，331-360[Zbl 1321.68346号]
伊巴涅斯（Ibañez），雅兹明·安吉利卡（Yazmin Angelica）；莫萨科夫斯基（Till Mossakowski）；唐纳德·桑内拉（Donald Sannella）；安德烈·塔莱基，任意机构中本体的模块化，361-379[Zbl 1321.68418号]
赫琳·基什内尔，重写策略和策略重写程序，380-403[Zbl 1321.68331号]
阿尔贝托卢克·拉富恩特；尼尔森，弗莱明；尼尔森、汉内·里斯，面向交互规范的自由信息流控制，427-450[兹比尔1321.68349]
多雷尔·卢卡努；鲁苏、弗拉德；安德烈·阿鲁索艾；大卫·诺瓦克，验证重写逻辑规范的可达性逻辑属性，451-474[Zbl 1321.68359号]
凯瑟琳·梅多斯，密码协议分析中形式化方法的新问题和趋势：十二年后，475-492[兹比尔1322.94089]
贾亚德夫·米斯拉，并发系统的指称语义理论，493-518[Zbl 1321.68362号]
彼得·莫塞斯（Peter D.Mosses）。；费迪南德·维斯利，弱互模拟作为MSOS中的同余，519-538[Zbl 1321.68363号]
玛丽莎·纳瓦罗；费尔南多·奥雷哈斯；埃尔维拉·皮诺，XML文档约束规范的可满足性，539-561[Zbl 1321.68352号]
斯蒂芬妮·纽伯特；Lenz Belzner；马丁·威尔辛代数强化学习。利用术语泛化进行关系强化学习的假设归纳。，562-579 [Zbl 1321.68410号]
卡米洛·罗查《迪克斯特拉和肖尔滕的正式体系》，580-597年[Zbl 1322.03025号]
格里高·罗什乌，从重写逻辑到编程语言语义，再到程序验证，598-616[Zbl 1321.68337号]

引用于2文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
03B70号 计算机科学中的逻辑
第68季度第42季度 语法和重写系统
60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
00B30型 费斯特施里夫滕

传记参考：

何塞·梅塞格尔
PDF格式BibTeX公司 XML格式引用
\textit{N.Martí-Oliet}（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：斯普林格（2015；Zbl 1319.68011）
全文： 内政部