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
Characterizations of Presburger Functions - MaRDI portal

Characterizations of Presburger Functions (Q3926041)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Characterizations of Presburger Functions
scientific article

    Statements

    Characterizations of Presburger Functions (English)
    0 references
    0 references
    0 references
    1981
    0 references
    Presburger formula
    0 references
    simple program
    0 references
    straight-line program
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references