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
Effective Quantifier Elimination for Presburger Arithmetic with Infinity - MaRDI portal

Effective Quantifier Elimination for Presburger Arithmetic with Infinity (Q3644100)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
scientific article

    Statements

    title
    Effective Quantifier Elimination for Presburger Arithmetic with Infinity (English)
    0 references
    author
    Aless Lasaruk
    0 references
    Thomas Sturm
    0 references
    publication date
    10 November 2009
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68W30
    0 references
    03C10
    0 references
    03F30
    0 references
    68Q25
    0 references
    zbMATH DE Number
    5627936
    0 references
    OpenAlex ID
    W1851760673
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3644100&oldid=35136481"
    Powered by MediaWiki