弗拉德·鲁苏（编辑） 重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。 （英语） Zbl 1398.68038号 计算机科学课堂讲稿11152.查姆：施普林格（ISBN 978-3-319-99839-8/pbk；978-3-3169-99840-4/电子书）。xii，第261页。(2018). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。关于之前的研讨会，请参阅[Zbl 1344.68013号].索引文章：奥斯卡·马汀；阿尔贝托·维尔德乔（Alberto Verdejo）；马蒂·奥利特，纳西索，组合系统规范的参数化编程，59-75[Zbl 1517.68246号]弗朗西斯科·杜兰；卡米洛·罗查；格温·萨拉恩，使用重写模块SMT的数据软件BPMN进程的符号规范和验证，76-97[Zbl 1517.68231号]弗朗西斯科·杜兰；史蒂文·艾克（Steven Eker）；圣地亚哥埃斯科瓦尔；马丁·奥列特，纳西索；何塞·梅塞盖尔；卡罗琳·塔尔科特，Maude中的关联统一和符号推理模关联性，98-114[Zbl 1517.68158号]卡洛斯·奥拉特（Carlos Olarte）；伊莱恩·皮门特尔（Elaine Pimentel）；卡米洛·罗查，证明重写逻辑中序列系统的结构性质，115-135[Zbl 1521.03059号]何塞·梅塞格尔，广义重写理论与连贯完成，164-183[兹比尔1517.68166]弗朗西斯科·杜兰；何塞·梅塞盖尔；卡米洛·罗查，证明方程规范模数公理的汇合性，184-204[Zbl 1517.68159号]保罗·唐恩（Paul Downen）；Johnson-Freyd，Philip；泽纳·M·阿里奥拉。，多学科结石的统一强归一化，205-225[Zbl 1517.68068号]塞尔吉奥·拉米雷斯；米盖尔·罗梅罗；卡米洛·罗查；弗兰克·巴伦西亚，用于空间并发约束编程的实时重写逻辑语义，226-244[Zbl 1517.68261号]尤罕·博伊库特；费雯·佩利蒂埃（Vivien Pelletier）；皮埃尔·雷蒂，通过CS-program近似任何逻辑程序，245-260[Zbl 1517.68138号] 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 第68季度第42季度 语法和重写系统 00B25型 杂项特定利益的会议记录 引文：Zbl 1344.68013号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rusu}（编辑），重写逻辑及其应用。2018年6月14-15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：施普林格（2018；Zbl 1398.68038） 全文： 内政部