1

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages Theory and Practice

by: Dowek, Gilles
New York, NY: ACM, 2016
E-Book Conference Proceedings
2

Computation, proof, machine: mathematics enters a new age

by: Dowek, Gilles, (Author); Guillot, Pierre, (Translator); Roman, Marion, (Translator)
Cambridge : Cambridge University Press, 2015.
E-Book
3

Computation, proof, machine: mathematics enters a new age

by: Dowek, Gilles.; Guillot, Pierre.; Roman, Marion.
Cambridge : Cambridge University Press : [distributor] Cambridge University Press : [distributor] Cambridge University P...
Book
4

Computation, proof, machine: mathematics enters a new age

by: Dowek, Gilles.; Guillot, Pierre.; Roman, Marion.
Cambridge : Cambridge University Press : [distributor] Cambridge University Press : [distributor] Cambridge University P...
Book
5

Proofs and algorithms: An introduction to logic and computability

by: Dowek, Gilles.
England : Springer London Ltd : [distributor] Springer-Verlag Berlin and Heidelberg GmbH & Co. KG : [distributor] CoInfo...
Book
6

Introduction to the theory of programming languages

by: Dowek, Gilles.; Levy, Jean-Jacques.
England : Springer London Ltd : [distributor] Springer-Verlag Berlin and Heidelberg GmbH & Co. KG : [distributor] CoInfo...
Book
7

Principles of programming languages

by: Dowek, Gilles.
England : Springer London Ltd : [distributor] Springer-Verlag Berlin and Heidelberg GmbH & Co. KG : [distributor] CoInfo...
Book
8
10

Les origines de l'informatique

E-Article
11

Enseigner les sciences au XXIème siècle

by: Dowek, Gilles
In: Terminal (2013)
E-Article
12
13

The physical Church thesis as an explanation of the Galileo thesis

E-Article
14
15
16

Theorem Proving Modulo

E-Article
17
18

Third order matching is decidable

E-Article
19

A Complete Proof Synthesis Method for the Cube of Type Systems

E-Article
20