Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Environment Assumptions for Synthesis - MaRDI portal

Environment Assumptions for Synthesis (Q3541016)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Environment Assumptions for Synthesis
scientific article

    Statements

    title
    Environment Assumptions for Synthesis (English)
    0 references
    author
    Krishnendu Chatterjee
    0 references
    Barbara Jobstmann
    0 references
    Thomas A. Henzinger
    0 references
    publication date
    25 November 2008
    0 references

    Identifiers

    zbMATH DE Number
    5373070
    0 references
    OpenAlex ID
    W1499127572
    0 references
    arXiv ID
    0805.4167
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3541016&oldid=33632142"
    Powered by MediaWiki