Algorithmic operators in constructive metric spaces (Q5573970)

From MaRDI portal
scientific article; zbMATH DE number 3291142
Language Label Description Also known as
English
Algorithmic operators in constructive metric spaces
scientific article; zbMATH DE number 3291142

    Statements

    Algorithmic operators in constructive metric spaces (English)
    0 references
    0 references
    1967
    0 references
    recursion theory, constructive mathematics
    0 references

    Identifiers