Resolution With Merging (Q5573405)

From MaRDI portal
scientific article; zbMATH DE number 3289465
Language Label Description Also known as
English
Resolution With Merging
scientific article; zbMATH DE number 3289465

    Statements

    Resolution With Merging (English)
    0 references
    0 references
    0 references
    1968
    0 references
    0 references
    recursion theory, constructive mathematics
    0 references
    0 references