Efficient program synthesis: Semantics, logic, complexity (Q5096241): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4091421 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5573961 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3206351 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4198056 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3765752 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient program synthesis in computational models / rank
 
Normal rank

Latest revision as of 21:17, 29 July 2024

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