Synthesizing constraint expressions (Q4167597)

From MaRDI portal
scientific article; zbMATH DE number 3601123
Language Label Description Also known as
English
Synthesizing constraint expressions
scientific article; zbMATH DE number 3601123

    Statements

    title
    Synthesizing constraint expressions (English)
    0 references
    DOI
    10.1145/359642.359654
    0 references
    author
    Eugene C. Freuder
    0 references
    publication date
    1978
    0 references
    zbMATH DE Number
    3601123
    0 references
    OpenAlex ID
    W2072755230
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4167597&oldid=32515425"
    Powered by MediaWiki