Perspicuity is part of proof. If the process by means of which I get a result were not surveyable...

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

This advanced textbook surveys research on boolean functions, circuits, parallel computation mode...

This book principally concerns the rapidly growing area of what might be termed 'Logical Complexi...