Showing 1 - 7 results of 7 for search 'Kirchner, Claude', query time: 0.03s 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, Claude…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
    Published 2007
    Other Authors: “…Kirchner, Claude…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration /
    Published 2009
    Other Authors: “…Kirchner, Claude…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
    by Abramsky, Samson, 1953-
    Published 2010
    Other Authors: “…Kirchner, Claude…”
    Get full text
    Electronic Kit Book
  5. 5
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
    by Abramsky, Samson, 1953-
    Published 2010
    Other Authors: “…Kirchner, Claude…”
    Get full text
    Electronic Kit Book
  6. 6
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /
    Published 2010
    Other Authors: “…Kirchner, Claude…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /
    Published 2010
    Other Authors: “…Kirchner, Claude…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search