1.

図書
図書
1. Term rewriting and applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
Jürgen Giesl (ed.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3467
所蔵情報: loading…
2.

図書
図書
2. Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Leo Bachmair (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1833
所蔵情報: loading…
3.

図書
図書
3. Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Sophie Tison (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2378
所蔵情報: loading…
4.

図書
図書
4. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
Frank Pfenning (ed.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4098
所蔵情報: loading…
5.

図書
図書
5. Term rewriting and applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings
Franz Baader (ed.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4533
所蔵情報: loading…
6.

図書
図書
6. Rewriting techniques and applications : 20th international conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 : proceedings
Ralf Treinen (ed.)
出版情報: Berlin : Springer, c2009
シリーズ名: Lecture notes in computer science ; 5595
所蔵情報: loading…