<図書>

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, (eds.)

(Lecture notes in computer science;909)

所蔵情報を非表示

1

本郷キャンパス

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

7522/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Term 8010115676


書誌詳細を非表示

出版者 Berlin ; New York ; Tokyo : Springer Verlag
出版年 c1995
大きさ viii, 221 p. : ill. ; 24 cm
一般注記 "This volume contains the proceedings of the French Spring School of Theoretical Computer Science held in Font Romeu in May 1993"--Pref
Includes bibliographical references
著者標目 *French Spring School of Theoretical Computer Science (1993 : Font Romeu, France)
Comon, Hubert
Jouannaud, Jean-Pierre
件 名 LCSH:Computer science -- Congresses
LCSH:Rewriting systems (Computer science) -- Congresses
分 類 LCC:QA75.5
DC20:005.13/1
本文言語 英語
書誌ID 2000402732
ISBN 3540593403
NCID BA25037263 WCLINK

類似資料

  1. 1 Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.)
  2. 2 Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, (ed.)
  3. 3 Efficient graph rewriting and its implementation / Heiko Dörr
  4. 4 Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings / M. Rusinowitch, J.L. Rémy (eds.)
  5. 5 Applications of graph transformations with industrial relevance : International Workshop, AGTIVE '99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings / Manfred Nagl, Andreas Schürr, Manfred Münch (eds.)
  6. 6 Applications of graph transformations with industrial relevance : second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003 : revised selected and invited papers / John L. Pfaltz, Manfred Nagl, Boris Böhlen (eds.)
  7. 7 Term graph rewriting : theory and practice / edited by M.R. Sleep and M.J. Plasmeijer and M.C. van Eekelen
  8. 8 Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Sophie Tison (ed.)
  9. 9 Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed.)
  10. 10 Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings / Tobias Nipkow (ed.)

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