Rewriting Techniques and Applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings /

Lignende værker

• Rewriting Techniques and Applications : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings /
  af: Paliath Narendran, Michael Rusinowitch
  Udgivet: (1999, c1999)
• Rewriting Techniques and Applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings /
  af: Aart Middeldorp
  Udgivet: (2001, c2001)
• Rewriting Techniques and Applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
  af: Sophie Tison
  Udgivet: (2002, c2002)
• Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings /
  af: Andrei Voronkov
  Udgivet: (2008, c2008)
• Rewriting Techniques and Applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings /
  af: Robert Nieuwenhuis
  Udgivet: (2003, c2003)