As society comes to rely increasingly on software for its welfare and prosperity there is an urge...

Driven by the question, 'What is the computational content of a (formal) proof?', this book studi...

As society comes to rely increasingly on software for its welfare and prosperity there is an urge...

Recent developments in computer science clearly show the need for a better theoretical foundation...

For some years, specification of software and hardwaresystems has been influenced not only by alg...

For some years, specification of software and hardwaresystems has been influenced not only by alg...

CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2...

Recent developments in computer science clearly show the need for a better theoretical foundation...

Logical concepts and methods are of growing importance in many areas of computer science. The pro...

The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced ...

This book is for graduate students and researchers, introducing modern foundational research in m...