ON GENERIC COMPLEXITY OF DECIDABILITY PROBLEM FOR DIOPHANTINE SYSTEMS IN THE SKOLEM’S FORM (Q5151075)

From MaRDI portal
scientific article; zbMATH DE number 7311435
Language Label Description Also known as
English
ON GENERIC COMPLEXITY OF DECIDABILITY PROBLEM FOR DIOPHANTINE SYSTEMS IN THE SKOLEM’S FORM
scientific article; zbMATH DE number 7311435

    Statements

    Identifiers