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
Revisiting MITL to Fix Decision Procedures - MaRDI portal

Revisiting MITL to Fix Decision Procedures (Q3296347)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Revisiting MITL to Fix Decision Procedures
scientific article

    Statements

    title
    Revisiting MITL to Fix Decision Procedures (English)
    0 references
    author
    Nima Roohi
    0 references
    Mahesh Viswanathan
    0 references
    publication date
    7 July 2020
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    03B25
    0 references
    03B44
    0 references
    03D05
    0 references
    zbMATH DE Number
    7218153
    0 references
    OpenAlex ID
    W2780338284
    0 references
    arXiv ID
    1910.04216
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3296347&oldid=33610700"
    Powered by MediaWiki