Showing 1 - 3 results of 3 for search 'Jouannaud, Jean-Pierre', query time: 0.02s Refine Results
  1. 1
    Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985
    Published 1985
    Other Authors: “…Jouannaud, Jean-Pierre…”
    Book
  2. 2
    Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
    Published 2011
    Other Authors: “…Jouannaud, Jean-Pierre…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
    Published 2006
    Other Authors: “…Jouannaud, Jean-Pierre…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search