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

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

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

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

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

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

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

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

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

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

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