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
Undecidability over Continuous Time - MaRDI portal

Undecidability over Continuous Time (Q3424115)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Undecidability over Continuous Time
scientific article

    Statements

    Undecidability over Continuous Time (English)
    0 references
    0 references
    0 references
    15 February 2007
    0 references
    recursive functions
    0 references
    real numbers
    0 references
    real recursive vector functions
    0 references
    undecidable problems
    0 references

    Identifiers