Jean-Pierre Jouannaud
AuthID: R-00G-DEY
1
TÃTULO: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
AUTORES: Jean Pierre Jouannaud; Zhong Shao;
PUBLICAÇÃO: 2011, FONTE: CPP, VOLUME: 7086
AUTORES: Jean Pierre Jouannaud; Zhong Shao;
PUBLICAÇÃO: 2011, FONTE: CPP, VOLUME: 7086
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Certified Programs and Proofs
AUTORES: Jean-Pierre Jouannaud; Zhong Shao;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science
AUTORES: Jean-Pierre Jouannaud; Zhong Shao;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef3
TÃTULO: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
AUTORES: Kokichi Futatsugi; Jean Pierre Jouannaud; José Meseguer;
PUBLICAÇÃO: 2006, FONTE: Essays Dedicated to Joseph A. Goguen, VOLUME: 4060
AUTORES: Kokichi Futatsugi; Jean Pierre Jouannaud; José Meseguer;
PUBLICAÇÃO: 2006, FONTE: Essays Dedicated to Joseph A. Goguen, VOLUME: 4060
INDEXADO EM: DBLP
DBLP