Decision procedures for real and <i>p</i>‐adic fields (Q5552751)

From MaRDI portal
scientific article; zbMATH DE number 3267345
Language Label Description Also known as
English
Decision procedures for real and <i>p</i>‐adic fields
scientific article; zbMATH DE number 3267345

    Statements

    Decision procedures for real and <i>p</i>‐adic fields (English)
    0 references
    1969
    0 references
    recursion theory, constructive mathematics
    0 references
    0 references

    Identifiers