|
|||||
|
|
Effective Structures |
|
| Authors: | Alexandra A. Soskova |
| Abstract: | The connection between some special properties of the computable functions in an abstract structure and the existence of a recursive and semi-recursive representation of the structure is studied. The considerations are based on the notion of computability on many-sorted abstract structures. |
| Keywords: | Many-sorted structure Computability Enumerations Definability Effective structure |