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

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

Invited Papers.- Background, Reserve, and Gandy Machines.- Choiceless Polynomial Time Computation...

The latest work on formal methods in computer science by the world's leading experts is presented...

This NATO volume presents a selection of leading research aimed at giving a foundation for combin...

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

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