Home Advanced Search

Advanced Search - Page 1

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course
  • PDF
  • English
  • Year: 1995
  • Author: Jean-Pierre Jouannaud (auth.), Hubert Comon, Jean-Pierre Jounnaud (eds.)
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course
  • DJVU
  • English
  • Year: 1995
  • Author: Jean-Pierre Jouannaud (auth.), Hubert Comon, Jean-Pierre Jounnaud (eds.)
Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures
  • PDF
  • English
  • Year: 2001
  • Author: Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)
Constraints in Computational Logics: First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Wayne Snyder (auth.), Jean-Pierre Jouannaud (eds.)
Functional Programming Languages and Computer Architecture: Nancy, France, September 16–19, 1985
  • DJVU
  • English
  • Year: 1985
  • Author: D. A. Turner (auth.), Jean-Pierre Jouannaud (eds.)
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2006
  • Author: David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2006
  • Author: David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2006
  • Author: David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)
search