Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course

書誌事項

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)

Springer Verlag, c1995

  • : Berlin
  • : New York

この図書・雑誌をさがす
注記

"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

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ