圣地亚哥埃斯科瓦尔（编辑） 重写逻辑及其应用。2014年4月5日至6日，作为ETAPS的卫星活动，在法国格勒诺布尔举行了第十届WRLA国际研讨会。修订了选定的论文。 （英语） Zbl 1318.68016号 计算机科学课堂讲稿8663.查姆：施普林格（ISBN 978-3-319-12903-7/pbk；978-3-316-12904-4/ebook）。x、 297页。(2014). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。有关前面的研讨会，请参阅[Zbl 1248.68033号].索引文章：弗朗西斯科·杜兰，通过合并合成基于图形转换的DSL定义，1-20[Zbl 1367.68126号]Yehia Abd Alrahman；玛丽娜·安德里克；亚历山德罗·贝吉亚托；阿尔贝托·卢什·拉富恩特，我们能在Maude中有效地检查放松内存模型下的并发程序吗？，21-41 [Zbl 1367.68057号]路易斯·阿吉雷；马丁·奥列特，纳西索；米盖尔·帕洛米诺；伊莎贝尔·皮塔，重写逻辑和Maude中的条件收缩模，80-96[Zbl 1367.68123号]安德烈·阿鲁索艾；多雷尔·卢卡努；鲁苏、弗拉德；Şerbănuţă，特拉恩·弗洛林；安德烈·特夫内斯库（Andrei tefénescu）；格里高·罗什乌，语言定义为重写理论，97-112[Zbl 1356.68115号]Bae，Kyungmin；何塞·梅塞盖尔，使用窄化对LTLR公式进行无限状态模型检查，113-129[Zbl 1366.68162号]马西莫·巴托莱蒂；莫里齐奥·穆尔吉亚（Maurizio Murgia）；阿尔切斯特的斯卡拉斯；罗伯托·祖尼诺，在莫德建模和验证面向合同的系统，130-146[Zbl 1366.68197号]托马斯·杰奈特，使用树自动机完成功能程序的静态分析，147-161[Zbl 1356.68131号]刘，思；奥列夫茨基，彼得·萨巴（Peter Csaba）；何塞·梅塞盖尔，Real-Time Maude移动自组网框架，162-177[Zbl 1356.68122号]萨尔瓦多卢卡斯；何塞·梅塞盖尔，顺序重写理论的强操作终止和弱操作终止，178-194[Zbl 1367.68144号]萨尔瓦多卢卡斯；何塞·梅塞盖尔，证明CTRS操作终止的2D依赖项对，195-212[Zbl 1367.68145号]卡米洛·罗查；何塞·梅塞盖尔；塞萨尔·穆尼奥斯，重写模块SMT和开放系统分析，247-262[Zbl 1367.68151号] 引用于1审查引用于5文件 理学硕士： 68-06 与计算机科学有关的会议记录、会议、收藏等 2012年第68季度 语法和重写系统 00B25型 杂项特定利益的会议记录 引文：Zbl 1248.68033号 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}（编辑），重写逻辑及其应用。2014年4月5-6日，作为ETAPS的卫星活动，在法国格勒诺布尔举行了第十届WRLA国际研讨会。修订了选定的论文。查姆：斯普林格（2014；Zbl 1318.68016） 全文： 内政部