Using Program Schemes to Capture Polynomial-Time Logically on Certain Classes of Structures (Q4827608)

From MaRDI portal
scientific article; zbMATH DE number 2116747
Language Label Description Also known as
English
Using Program Schemes to Capture Polynomial-Time Logically on Certain Classes of Structures
scientific article; zbMATH DE number 2116747

    Statements

    Identifiers