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
Uniform Substitution for Differential Game Logic - MaRDI portal

Uniform Substitution for Differential Game Logic (Q6300415)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Uniform Substitution for Differential Game Logic
scientific article

    Statements

    16 April 2018
    0 references
    cs.LO
    0 references
    cs.GT
    0 references
    cs.PL
    0 references
    math.LO
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references