-
10.12.2015The third in a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Se...
-
06.12.2010
The notion of complexity is an important contribution of logic to theoretical computer science an...
-
12.12.2007
In recent years, classical computability has expanded beyond its original scope to address issues...
-
26.06.2006
CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Com...
-
29.10.2010
In recent years, classical computability has expanded beyond its original scope to address issues...
-
10.07.2009
This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009,...
-
03.06.2008
CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15-20, 2008 Computability in Europe...
-
28.02.2003
'Foundations of the Formal Sciences' (FotFS) is a series of interdisciplinary conferences in math...
-
06.06.2012
This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Con...
-
15.09.2008
Presents seminal papers from the Caltech-UCLA 'Cabal Seminar', unpublished material, and related ...
-
23.05.2005
CiE 2005: New Computational Paradigms illc. uva. nl CiEThecooperationComputabilityinEurope (CiE)i...
-
11.06.2007
This book constitutes the refereed proceedings of the Third International Conference on Computabi...