Program schemata and the first-order decision problem (Q1213300)

From MaRDI portal





scientific article; zbMATH DE number 3463144
Language Label Description Also known as
English
Program schemata and the first-order decision problem
scientific article; zbMATH DE number 3463144

    Statements

    Identifiers