Approximation systems for functions in topological and in metric spaces
A notable feature of the TTE approach to computability is the representation of the argument values and the corresponding function values by means of infinitistic names. Two ways to eliminate the using of such names in certain cases are indicated in the paper. The first one is intended for the case...
| Главный автор: | |
|---|---|
| Формат: | Статья |
| Язык: | English |
| Опубликовано: |
Logical Methods in Computer Science e.V.
2013-11-01
|
| Серии: | Logical Methods in Computer Science |
| Предметы: | |
| Online-ссылка: | https://lmcs.episciences.org/890/pdf |