MPG.eBooks - Author Search Results

Cover Image

1

Proofs and Algorithms : An Introduction to Logic and Computability

by Dowek, Gilles
Published 2011

Springer London

Cover Image

2

Principles of Programming Languages

by Dowek, Gilles
Published 2009

Springer London

Cover Image

3

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

by Dowek, Gilles
Published 1996

Springer

Cover Image

4

The age of algorithms

by Abiteboul, S., Dowek, Gilles
Published 2020

Cambridge University Press

Cover Image

5

Introduction to the Theory of Programming Languages

by Dowek, Gilles, Lévy, Jean-Jacques
Published 2011

Springer London

Cover Image

6

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, Pr...

Published 2014

Springer International Publishing

Other Authors: “...Dowek, Gilles...”

Cover Image

7

Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Dowek, Gilles...”

Cover Image

8

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

by Bertot, Yves
Published 1999

Springer-Verlag Berlin Heidelberg

Other Authors: “...Dowek, Gilles...”

Cover Image

9

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Dowek, Gilles...”

Cover Image

10

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Dowek, Gilles...”