<図書>

Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz (ed.)

(Lecture notes in computer science;355)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : gw 39:L:1.355 2012223794

4866/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1989
大きさ vii, 579 p. : ill. ; 24 cm
一般注記 Includes bibliographies and index
著者標目 *International Conference on Rewriting Techniques and Applications (3rd : 1989 : Chapel Hill, N.C.)
Dershowitz, Nachum, 1951-
件 名 LCSH:Rewriting systems (Computer science) -- Congresses
LCSH:Electronic digital computers -- Programming -- Congresses
LCSH:Algorithms -- Congresses
分 類 LCC:QA267
DC20:511.3
本文言語 英語
書誌ID 2000112106
ISBN 3540510818
NCID BA06896024 WCLINK

類似資料

  1. 1 Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings / Ronald V. Book, (ed.)
  2. 2 Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings / Claude Kirchner (ed.)
  3. 3 Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz, Naomi Lindenstrauss (eds.)
  4. 4 Automata, languages and programming : 26th International Colloquium, ICALP '99, Prague, Czech Republic, July 11-15, 1999 : proceedings / Jiří Wiedermann, Peter van Emde Boas, Mogens Nielsen (eds.)
  5. 5 Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.)
  6. 6 Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, (ed.)
  7. 7 Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings / Tobias Nipkow (ed.)
  8. 8 Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings / Hubert Comon (ed.)
  9. 9 Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud (eds.)
  10. 10 Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter

検索結果一覧に戻る ページトップ