The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and...
This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday.
This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion ...
