This research is the result of a fruitful connection and provides a sign- cant link between two t...
This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe,...
The Editors' vision for this volume is that it should be a selection of essays, contributed by th...
This book presents a historical and philosophical analysis of programming systems, intended as la...
This research is the result of a fruitful connection and provides a sign- cant link between two t...
The relation between logic and knowledge has been at the heart of a lively debate since the 1960s...
The relation between logic and knowledge has been at the heart of a lively debate since the 1960s...
On the Foundation of Computing offers a comprehensive and critical overview of the birth and evol...
On the Foundation of Computing offers a comprehensive and critical overview of the birth and evol...