Jump to main content

yr 〜
yr

Search results 16

Certified programs and proofs : first international conference, CPP 2011 : Kenting, Taiwan, December 7-9, 2011 : proceedings : APLAS/CPP : Dec 2011, Kenting, Taiwan. (Lecture Notes in Computer Science ; 7086)

Certified programs and proofs : first international conference, CPP 2011 : Kenting, Taiwan, December 7-9, 2011 : proceedings : APLAS/CPP : Dec 2011, Kenting, Taiwan. (Lecture Notes in Computer Science ; 7086)
Paper図書
Springerc2011.<M17-12-1779>
National Diet Library
  • Author HeadingCPP 2011 (2011 : Kʻen-ting, Taiwan) Jouannaud, Jean-Pierre. Shao, Zhong, 1968-

Certified programs and proofs : first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings : pbk

Certified programs and proofs : first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings : pbk
Paper図書
Jean-Pierre Jouannaud, Zhong Shao (eds.)Springerc2011
Other Libraries in Japan
  • Author HeadingCPP Jouannaud, Jean-Pierre Shao, Zhong

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / Jean-Pierre Jouannaud (ed.). (Lecture notes in computer science)

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / Jean-Pierre Jouannaud (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9451>
National Diet Library
  • Author HeadingJouannaud, Jean-Pierre.

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, eds. (Lecture notes in computer science)

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, eds. (Lecture notes in computer science)
Paper図書
Springer Verlagc1995.<M15-A9646>
National Diet Library
  • Author Heading...Comon, Hubert. Jouannaud, Jean-Pierre.

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
Paper図書
Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)Springerc2006
Other Libraries in Japan
  • Author Heading二木, 厚吉 Jouannaud, Jean-Pierre Meseguer, José

Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud, eds. (Lecture notes in computer science)

Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A4115>
National Diet Library
  • Author HeadingKaplan, S. (Stéphane) , 1961- Jouannaud, Jean-Pierre.

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud (eds.). (Lecture notes in computer science)

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8718>
National Diet Library
  • Author Heading...(Marie-Claude) Jouannaud, Jean-Pierre. Colloquium on Trees in Algeb...

Functional programming languages and computer architecture : Nancy, France, September 1985 / edited by Jean-Pierre Jouannaud. (Lecture notes in computer science)

Functional programming languages and computer architecture : Nancy, France, September 1985 / edited by Jean-Pierre Jouannaud. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1985.<M15-A274>
National Diet Library
  • Author HeadingJouannaud, Jean-Pierre.

Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud. (Lecture notes in computer science)

Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1985.<M15-A1112>
National Diet Library
  • Author HeadingJouannaud, Jean-Pierre. International Conference on ...

Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings
Paper図書
Jean-Pierre Jouannaud (ed.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingJouannaud, Jean-Pierre CCL

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course : Berlin : New York

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course : Berlin : New York
Paper図書
Hubert Comon, Jean-Pierre Jouannaud, (eds.)Springer Verlagc1995
Other Libraries in Japan
  • Author HeadingFrench Spring School of Theoretical Computer Science Comon, Hubert Jouannaud, Jean-Pierre

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings : gw : us

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings : gw : us
Paper図書
M.-C. Gaudel, J.-P. Jouannaud (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author Heading...(Marie-Claude) Jouannaud, Jean-Pierre Colloquium on Trees in Algebr...

Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings : gw : us

Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings : gw : us
Paper図書
S. Kaplan, J.-P. Jouannaud (eds.)Springer-Verlagc1988
Other Libraries in Japan
  • Author HeadingKaplan, Stéphane Jouannaud, Jean-Pierre

Rewriting techniques and applications

Rewriting techniques and applications
Paper図書
edited by Jean-Pierre JouannaudAcademic1987
Other Libraries in Japan
  • Author HeadingJouannaud, Jean-Pierre

Rewriting techniques and applications : Dijon, France, May 20-22, 1985 : gw : us

Rewriting techniques and applications : Dijon, France, May 20-22, 1985 : gw : us
Paper図書
edited by Jean-Pierre JouannaudSpringer-Verlagc1985
Other Libraries in Japan
  • Author HeadingJouannaud, Jean-Pierre International Conference on R...

Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 : gw : us

Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 : gw : us
Paper図書
edited by Jean-Pierre JouannaudSpringer-Verlagc1985
Other Libraries in Japan
  • Author HeadingJouannaud, Jean-Pierre Conference on Functional Prog...

Reached to the end of result.

RSS