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

From MaRDI portal
Revision as of 14:26, 27 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references