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