17 treff

International Conference on Rewriting Techniques and Applications
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2006
Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2005
Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2004
Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2003
Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2002
Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2001
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2000
Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1999
Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1998
Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1997
Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1996
Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1995
Rewriting techniques and applications : 5th international conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1993
Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1991
Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1989
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1987
Rewriting techniques and applications : Dijon, France, May 20-22, 1985
International Conference on Rewriting Techniques and Applications
Bok Språk ikke angitt 1985