Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /

Lignende værker

• Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings /
  af: Hubert Comon
  Udgivet: (1997, c1997)
• Computation, Cooperation, and Life : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday /
  af: Jozef Kelemen, Alica Kelemenová
  Udgivet: (2011, c2011)
• Horizons of the Mind : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
  Udgivet: (2014, c2014)
• Logic and Grammar : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday /
  af: Sylvain Pogodalla, Myriam Quatrini, Christian Retoré
  Udgivet: (2011, c2011)
• Efficient Algorithms : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday /
  af: Susanne Albers, Helmut Alt, Stefan Näher
  Udgivet: (2009, c2009)