%0 Journal Article
%T Defining Data Structures via Böhm-Out
%A Tronci, Enrico
%J J. Funct. Program.
%D 1995
%V 5
%N 1
%F Tronci1995
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=57), last updated on Sat, 24 Nov 2012 14:33:44 +0100
%X We show that any recursively enumerable subset of a data structure can be regarded as the solution set to a B??hm-out problem.
%R 10.1017/S0956796800001234
%U https://doi.org/10.1017/S0956796800001234
%P 51-64