Paulin-Mohring, Christine.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Types for proofs and programsInternational Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers /
by:
(1998 :); Gimenez, Eduardo.; Paulin-Mohring, Christine.; SpringerLink (Online service)
(Electronic resources)
Types for Proofs and ProgramsInternational Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
by:
(1998 :); Filliatre, Jean-Christophe.; Paulin-Mohring, Christine.; SpringerLink (Online service); Werner, Benjamin.
(Electronic resources)
Mathematics of Program Construction9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
by:
(1998 :); Audebaud, Philippe.; Paulin-Mohring, Christine.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Computer programming
Programming Languages, Compilers, Interpreters.
Computer logic
Type theory
Computer science
Computer Science.
Symbolic and Algebraic Manipulation.