| 书目名称 | Rewriting Techniques and Applications |
| 副标题 | 12th International C |
| 编辑 | Aart Middeldorp |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001..The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed. |
| 出版日期 | Conference proceedings 2001 |
| 关键词 | Beta; Rewriting; Variable; algorithm; algorithms; automata; automated deduction; complexity; explicite subst |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-45127-7 |
| isbn_softcover | 978-3-540-42117-7 |
| isbn_ebook | 978-3-540-45127-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2001 |
发表于 2025-3-21 18:57:19
