Languages
Jouannaud, Jean-Pierre.
Overview
| Works: | 5 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Certified programs and proofsfirst international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings /
by:
(1998 :); Jouannaud, Jean-Pierre.; Shao, Zhong.; SpringerLink (Online service)
(Electronic resources)
Algebra, Meaning, and ComputationEssays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
by:
Futatsugi, Kokichi.; Jouannaud, Jean-Pierre.; Meseguer, Jose.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computing Methodologies.
Mathematical Logic and Formal Languages.
Theory of Computation.
Software Engineering.
Logics and Meanings of Programs.
Mathematics of Computing.
Algebra
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Computer science
Computer Science.
Symbolic and Algebraic Manipulation.