Defining data structures via Böhm-out<sup>1</sup>
Tronci, Enrico; Tronci Enrico; Università di L'Aquila
Журнал:
Journal of Functional Programming
Дата:
1995
Аннотация:
AbstractWe show that any recursively enumerable subset of a data structure can be regarded as the solution set to a Böhm-out problem.
749.9Кб