| Автор | Tronci, Enrico |
| Дата выпуска | 1995 |
| dc.description | AbstractWe show that any recursively enumerable subset of a data structure can be regarded as the solution set to a Böhm-out problem. |
| Формат | application.pdf |
| Издатель | Cambridge University Press |
| Копирайт | Copyright © Cambridge University Press 1995 |
| Название | Defining data structures via Böhm-out<sup>1</sup> |
| Тип | research-article |
| DOI | 10.1017/S0956796800001234 |
| Electronic ISSN | 1469-7653 |
| Print ISSN | 0956-7968 |
| Журнал | Journal of Functional Programming |
| Том | 5 |
| Первая страница | 51 |
| Последняя страница | 64 |
| Аффилиация | Tronci Enrico; Università di L'Aquila |
| Выпуск | 1 |
