The problem of hyperparamodulation and nuclei (Q1340968)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The problem of hyperparamodulation and nuclei
scientific article

    Statements

    The problem of hyperparamodulation and nuclei (English)
    0 references
    0 references
    21 December 1994
    0 references
    nuclei
    0 references
    unsolved research problem
    0 references
    automated reasoning
    0 references
    hyperparamodulation
    0 references
    hyperresolution
    0 references
    0 references
    0 references
    0 references

    Identifiers