| 书目名称 | Rewriting Logic and Its Applications |
| 副标题 | 11th International W |
| 编辑 | Dorel Lucanu |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016...The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.. |
| 出版日期 | Conference proceedings 2016 |
| 关键词 | logical models; model checking; rewrite languages; temporal logic; tree automata and tree languages; fini |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-44802-2 |
| isbn_softcover | 978-3-319-44801-5 |
| isbn_ebook | 978-3-319-44802-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing Switzerland 2016 |
发表于 2025-3-21 18:34:54
