Benedikt Löwe

Logic and the Foundations of Game and Decision Theory - LOFT 8

8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

This book constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory of Game and Decision The...

Logical Approaches to Computational Barriers

Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : Proceedings

...