| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
| Author | Tronci, Enrico | ||||
| Title | Defining Data Structures via Böhm-Out | Type | Journal Article | ||
| Year | 1995 | Publication | J. Funct. Program. | Abbreviated Journal | |
| Volume | 5 | Issue | 1 | Pages | 51-64 |
| Keywords | |||||
| 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. | ||||
Address  |
|||||
| Corporate Author | Thesis | ||||
| Publisher | Place of Publication | Editor | |||
| Language | Summary Language | Original Title | |||
| Series Editor | Series Title | Abbreviated Series Title | |||
| Series Volume | Series Issue | Edition | |||
| ISSN | ISBN | Medium | |||
| Area | Expedition | Conference | |||
| Notes | Approved | yes | |||
| Call Number | Sapienza @ mari @ jfp95 | Serial | 57 | ||
| Permanent link to this record | |||||