Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
A characterization of the recursively enumerable languages in terms of the iterated deletion operation is given. This solves two open problems posed by Ito and Silva on the closure properties and decidability of iterated deletion.
| Язык оригинала | английский |
|---|---|
| Страницы (с-по) | 451-457 |
| Число страниц | 7 |
| Журнал | Theoretical Computer Science |
| Том | 314 |
| Номер выпуска | 3 |
| DOI | |
| Состояние | Опубликовано - 10 апр 2004 |
| Опубликовано для внешнего пользования | Да |
ID: 41144452