著者典拠情報

標目形：
International Conference on Rewriting Techniques and Applications
属性：
Meeting
場所：
Dijon;Bordeaux;Chapel Hill;Como;Montreal, Canda;Kaiserslautern, Germany;Sitges, Spain;Tsukuba;Norwich;Utrecht, Netherlands;Aachen;
日付：
1985;1987;1989;1991;1993;1995;1997;1998;1999;2000;2001;2004;
から見よ参照形：
Conference on Rewriting Techniques and Applications, International
Rewriting Techniques and Applications, International Conference
RTA
International Conference, RTA
注記：
Its (3rd : April 3-5, 1989 : Chapel Hill, North Carolina) Rewriting Techniques and Applications, c1989
Its (2nd : May 25-27, 1987 : Bordeaux) Rewriting Techniques and Applications, c1987
Its (4th : April 10-12, 1991 : Como, Italy) Rewriting techniques and Applications, c1991
Its (5th : June 16-18, 1993 : Montreal, Canada) Rewriting techniques and Applications, c1993
Rewriting techniques and applications, c1985: CIP foreword (First International Conference on Rewriting Techniques and Applications, Dijon, 5/20-22/85)
EDSRC:Rewriting techniques and applications, c1995: t.p. (6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995)
EDSRC:Rewriting techniques and applications, c1997: t.p. (8th international conference, RTA-97, Sitges, Spain, June 2-5 1997)
EDSRC:Rewriting techniques and applications, c1998: t.p. (9th International Conference, RTA-98,Tsukuba, Japan, March 30- April 1, 1998)
EDSRC:Rewriting techniques and applications, c1999: t.p. (10th International conference, RTA-99, Trento, Italy, July 2-4, 1999)
EDSRC:Rewriting techniques and applications, c2000: t.p. (11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000)
著者典拠ID：
DA0100691X


 close
1.

図書
図書
1. Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Aart Middeldorp (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2051
所蔵情報: loading…
2.

図書
図書
2. Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings
Paliath Narendran, Michael Rusinowitch (eds.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1631
所蔵情報: loading…
3.

図書
図書
3. Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
Tobias Nipkow (ed.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1379
所蔵情報: loading…
4.

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

図書
図書
5. Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
Harald Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1103
所蔵情報: loading…
6.

図書
図書
6. Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings (: Berlin)
Jieh Hsiang, (ed.)
出版情報: Berlin : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 914
所蔵情報: loading…
7.

図書
図書
7. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings (: gw ; : us)
Claude Kirchner (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 690
所蔵情報: loading…
8.

図書
図書
8. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings (: gw ; : us)
Ronald V. Book, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 488
所蔵情報: loading…
9.

図書
図書
9. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings (: gw ; : us)
N. Dershowitz (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 355
所蔵情報: loading…
10.

図書
図書
10. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings (: gw ; : us)
edited by Pierre Lescanne
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 256
所蔵情報: loading…