The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, ...

This book contains the proceedings of the 12th International Conference on TheoremProvinginHigher...

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewr...

This book constitutes the refereed proceedings of the 4th International Joint Conference on Autom...

Logic is a branch of philosophy, mathematics and computer science. It studies the required method...

To understand the future of mathematics, this fascinating book returns to its past, tracing the h...

By introducing the principles of programming languages, using the Java language as a support, Gil...

This book presents a collection of revised refereed papers selected from the presentations accept...

Algorithms are probably the most sophisticated tools that people have had at their disposal since...

Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathe...

Algorithms will be what we want them to be: we must choose the world we want to live in.