Jouannaud, Jean Pierre books & textbook
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 4060)
Futatsugi, Kokichi Jouannaud, Jean-Pierre Meseguer, José
Springer /2006-06-22 Paperback / 688 Pages
isbn-10: 354035462X / isbn-13: 9783540354628
Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985 (Lecture Notes in Computer Science, 201)
Springer /1985-09-01 Paperback / 424 Pages
isbn-10: 3540159754 / isbn-13: 9783540159759
TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings (Lecture Notes in Computer Science, 668)
Gaudel, Marie-Claude Jouannaud, Jean-Pierre
Springer /1993-04-06 Paperback / 780 Pages
isbn-10: 3540566104 / isbn-13: 9783540566106
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science, 909)
Comon, Hubert Jouannaud, Jean-Pierre
Springer /1995-04-25 Paperback / 236 Pages
isbn-10: 3540593403 / isbn-13: 9783540593409
Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings (Lecture Notes in Computer Science, 308)
Kaplan, Stephane Jouannaud, Jean-Pierre
Springer /1988-06-22 Paperback / 292 Pages
isbn-10: 3540192425 / isbn-13: 9783540192428
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science, 202)
Springer /1985-10-01 Paperback / 452 Pages
isbn-10: 3540159762 / isbn-13: 9783540159766
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer Science, 7086)
Jouannaud, Jean-Pierre Shao, Zhong
Springer /2011-11-18 Paperback / 416 Pages
isbn-10: 3642253784 / isbn-13: 9783642253782
Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings (Lecture Notes in Computer Science, 845)
Springer /1994-08-24 Paperback / 380 Pages
isbn-10: 354058403X / isbn-13: 9783540584032
