<電子ブック>
Rewriting Techniques and Applications : Bordeaux, France, May 25-27, 1987. Proceedings / edited by Pierre Lescanne
(Lecture Notes in Computer Science. ISSN:16113349 ; 256)
版 | 1st ed. 1987. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1987 |
本文言語 | 英語 |
大きさ | VIII, 288 p : online resource |
著者標目 | Lescanne, Pierre editor SpringerLink (Online service) |
件 名 | LCSH:Machine theory LCSH:Computer science LCSH:Mathematical logic FREE:Formal Languages and Automata Theory FREE:Computer Science Logic and Foundations of Programming FREE:Mathematical Logic and Foundations |
一般注記 | Term-rewriting implementation of equational logic programming -- Optimizing equational programs -- A compiler for conditional term rewriting systems -- How to choose the weights in the Knuth Bendix ordering -- Detecting looping simplifications -- Combinatorial hypermap rewriting -- The word problem for finitely presented monoids and finite canonical rewriting systems -- Term rewriting systems with priorities -- A gap between linear and non linear term-rewriting systems -- Code generator generation based on template-driven target term rewriting -- Descendants of regular language in a class of rewriting systems: Algorithm and complexity of an automata construction -- Groups presented by certain classes of finite length-reducing string-rewriting systems -- Some results about confluence on a given congruence class -- Ground confluence -- Structured contextual rewriting -- Schematization of infinite sets of rewrite rules. Application to the divergence of completion processes -- Completion for rewriting modulo a congruence -- On equational theories, unification and decidability -- A general complete E-unification procedure -- Improving basic narrowing techniques -- Strategy-controlled reduction and narrowing -- Algorithmic complexity of term rewriting systems -- Optimal speedups for parallel pattern matching in trees This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987 HTTP:URL=https://doi.org/10.1007/3-540-17220-3 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540474210 |
|
電子リソース |
|
EB00224833 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
別書名 | その他のタイトル:Second International Conference on Rewriting Techniques and Applications |
分 類 | LCC:QA267-268.5 DC23:005.131 |
書誌ID | 4001088642 |
ISBN | 9783540474210 |