Efficient program synthesis: Semantics, logic, complexity (Q5096241)

From MaRDI portal
scientific article; zbMATH DE number 7572021
Language Label Description Also known as
English
Efficient program synthesis: Semantics, logic, complexity
scientific article; zbMATH DE number 7572021

    Statements

    Efficient program synthesis: Semantics, logic, complexity (English)
    0 references
    16 August 2022
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references