From Constructibility and Absoluteness to Computability and Domain Independence

Arnon Avron. From Constructibility and Absoluteness to Computability and Domain Independence. In Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker, editors, Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings. Volume 3988 of Lecture Notes in Computer Science, pages 11-20, Springer, 2006. [doi]

Authors

Arnon Avron

This author has not been identified. Look up 'Arnon Avron' in Google