From Constructibility and Absoluteness to Computability and Domain Independence.

Arnon Avron From Constructibility and Absoluteness to Computability and Domain Independence. 11-20 2006 conf/cie/2006 CiE http://dx.doi.org/10.1007/11780342_2 db/conf/cie/cie2006.html#Avron06