Showing 1 - 4 results of 4 for search 'Kirchner, Helene', query time: 0.02s Refine Results
  1. 1
    Automated Deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings /
    Published 1998
    Other Authors: “…Kirchner, Helene…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Frontiers of Combining Systems Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings /
    Published 2000
    Other Authors: “…Kirchner, Helene…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Algebraic Methodology and Software Technology 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings /
    Published 2002
    Other Authors: “…Kirchner, Helene…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
    Published 2007
    Other Authors: “…Kirchner, Hélène…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search