Home
<<
1
>>
List View
|
Citations
|
Details
Enrico Tronci. "Defining Data Structures via Böhm-Out."
J. Funct. Program.
5, no. 1 (1995): 51–64. DOI:
10.1017/S0956796800001234
.
Abstract:
We show that any recursively enumerable subset of a data structure can be regarded as the solution set to a B??hm-out problem.
http://mclab.di.uniroma1.it/publications/show.php?record=57