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
On Freeze LTL with Ordered Attributes - MaRDI portal

On Freeze LTL with Ordered Attributes (Q2811345)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On Freeze LTL with Ordered Attributes
scientific article

    Statements

    title
    On Freeze LTL with Ordered Attributes (English)
    0 references
    author
    Normann Decker
    0 references
    Daniel Thoma
    0 references
    publication date
    10 June 2016
    0 references

    Identifiers

    zbMATH DE Number
    6591825
    0 references
    OpenAlex ID
    W825655794
    0 references
    arXiv ID
    1504.06355
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2811345&oldid=36255738"
    Powered by MediaWiki