Skip to main content

1990 | OriginalPaper | Buchkapitel

Effective Enumerations of Abstract Structures

verfasst von : Alexandra A. Soskova, Ivan N. Soskov

Erschienen in: Mathematical Logic

Verlag: Springer US

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

There is a close relationship between the enumerations which admits an abstract structure A and the “effective” computable functions in A, see [1,2,3].

Metadaten
Titel
Effective Enumerations of Abstract Structures
verfasst von
Alexandra A. Soskova
Ivan N. Soskov
Copyright-Jahr
1990
Verlag
Springer US
DOI
https://doi.org/10.1007/978-1-4613-0609-2_26