Gilles Dowek - Böcker

Computation, Proof, Machine

Mathematics Enters a New Age

Computation, Proof, Machine

Mathematics Enters a New Age

Introduction to the Theory of Programming Languages

Proofs and Algorithms

An Introduction to Logic and Computability

The Age of Algorithms

The Age of Algorithms

Principles of Programming Languages

Rewriting and Typed Lambda Calculi

Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Higher-Order Algebra, Logic, and Term Rewriting

Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings