ID:DA0100691X
Conference on Rewriting Techniques and Applications, International
Rewriting Techniques and Applications, International Conference
RTA
International Conference, RTA
同姓同名の著者を検索
Ralf Treinen (ed.)
Springer c2009 Lecture notes in computer science 5595
所蔵館4館
Franz Baader (ed.)
Springer c2007 Lecture notes in computer science 4533
所蔵館8館
Frank Pfenning (ed.)
Springer c2006 Lecture notes in computer science 4098
所蔵館12館
Jürgen Giesl (ed.)
Springer c2005 Lecture notes in computer science 3467
所蔵館16館
Vincent van Oostrom (ed.)
Springer c2004 Lecture notes in computer science 3091
所蔵館19館
Robert Nieuwenhuis (ed.)
Springer c2003 Lecture notes in computer science 2706
所蔵館21館
Sophie Tison (ed.)
Springer c2002 Lecture notes in computer science 2378
所蔵館30館
Aart Middeldorp (ed.)
Springer c2001 Lecture notes in computer science 2051
所蔵館32館
Leo Bachmair (ed.)
Springer c2000 Lecture notes in computer science 1833
所蔵館36館
Paliath Narendran, Michael Rusinowitch (eds.)
Springer c1999 Lecture notes in computer science 1631
所蔵館41館
Tobias Nipkow (ed.)
Springer c1998 Lecture notes in computer science 1379
所蔵館44館
Hubert Comon (ed.)
Springer c1997 Lecture notes in computer science 1232
: pbk
所蔵館50館
Harald Ganzinger (ed.)
Springer-Verlag c1996 Lecture notes in computer science 1103
所蔵館60館
Jieh Hsiang, (ed.)
Springer-Verlag c1995 Lecture notes in computer science 914
: Berlin
所蔵館59館
Claude Kirchner (ed.)
Springer-Verlag c1993 Lecture notes in computer science 690
: gw , : us
所蔵館51館
Ronald V. Book, (ed.)
Springer-Verlag c1991 Lecture notes in computer science 488
N. Dershowitz (ed.)
Springer-Verlag c1989 Lecture notes in computer science 355
所蔵館63館
edited by Pierre Lescanne
Springer-Verlag c1987 Lecture notes in computer science 256
所蔵館58館
edited by Jean-Pierre Jouannaud
Springer-Verlag c1985 Lecture notes in computer science 202