Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /

Lignende værker

• Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings /
  af: Franz Baader
  Udgivet: (2007, c2007)
• Term Rewriting and Applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /
  af: Frank Pfenning
  Udgivet: (2006, c2006)
• Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /
  af: Tobias Nipkow
  Udgivet: (1998, c1998)
• 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 : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings /
  af: Hubert Comon
  Udgivet: (1997, c1997)