著者典拠情報

著者標目形：
Comon, Hubert
属性：
Personal
日付：
1957-
から見よ参照形：
Comon, Hubert, 1957-
注記：
Term rewriting, c1995: CIP t.p. (Hubert Comon) t.p. verso (Lab. de recherche en inform., Univ. de Paris Sud, Orsay, France)
SRC:Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Common, Jean-Pierre Jouannaud, (eds.)(Springer Verlag, c1995)
EDSRC:Computer aided verification, c2001: t.p. (Hubert Comon) t.p. verso (LSV, CNRS UMR 8643, ENS de Cachan, Cachan, France) LC data sheet (b. 08/28/57)
著者典拠ID：
DA09078062


1.

図書
図書
1. Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures
Hubert Comon, Claude Marché, Ralf Treinen (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2002
所蔵情報: 図書館
2.

図書
図書
2. Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings (: pbk. : alk. paper)
Hubert Comon (ed.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1232
所蔵情報: 図書館
3.

図書
図書
3. Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course (: Berlin ; : New York)
Hubert Comon, Jean-Pierre Jouannaud, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer Verlag, c1995
シリーズ名: Lecture notes in computer science ; 909
所蔵情報: 図書館