Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings /

Documenti analoghi

• Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
  di: Jürgen Giesl
  Pubblicazione: (2005)
• Term Rewriting and Applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /
  di: Frank Pfenning
  Pubblicazione: (2006)
• Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings /
  di: Hubert Comon
  Pubblicazione: (1997)
• Rewriting Techniques and Applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings /
  di: Robert Nieuwenhuis
  Pubblicazione: (2003)
• Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings /
  di: Vincent Oostrom
  Pubblicazione: (2004)