Hèléne Kirchner (Helene Kirchner / Kirchner, Hèléne / Kirchner, Helene)

• 
  Algebraic Methodology and Software Technology: 9th International Conference, Amast 2002, Saint-Gilles-Les-Bains, Reunion Island, France, September 9-13, 2002 Proceedings

  ISBN 3540441441 (3-540-44144-1)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Algebraic Methodology and Software Technology: 9th International Conference, Amast 2002, Saint-Gilles-Les-Bains, Reunion Island, France, September 9-13, 2002 Proceedings'
• 
  Frontiers of Combining Systems: Third International Workshop, Frocos 2000, Nancy, France, March 22-24, 2000 Proceedings

  ISBN 3540672818 (3-540-67281-8)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Frontiers of Combining Systems: Third International Workshop, Frocos 2000, Nancy, France, March 22-24, 2000 Proceedings'
• 
  Rewriting Computation And Proof: Essays Dedicated to Jean-pierre Jouannaud on the Occasion of His 60th Birthday

  ISBN 3540731466 (3-540-73146-6)
  Softcover, Springer-Verlag New York Inc

  
  Find All Copies

   

  › Find collectible copies of 'Rewriting Computation And Proof: Essays Dedicated to Jean-pierre Jouannaud on the Occasion of His 60th Birthday'
• 
  Trees in Algebra and Programming- Caap'96: 21st International Colloquium, Linkoping, Sweden, April 22-24, 1996, Proceedings

  ISBN 3540610642 (3-540-61064-2)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Trees in Algebra and Programming- Caap'96: 21st International Colloquium, Linkoping, Sweden, April 22-24, 1996, Proceedings'