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
Reducing Relative Termination to Dependency Pair Problems - MaRDI portal

Reducing Relative Termination to Dependency Pair Problems (Q3454090)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reducing Relative Termination to Dependency Pair Problems
scientific article

    Statements

    title
    Reducing Relative Termination to Dependency Pair Problems (English)
    0 references
    author
    Naoki Nishida
    0 references
    Germán Vidal
    0 references
    Akihisa Yamada
    0 references
    José Iborra
    0 references
    publication date
    2 December 2015
    0 references
    describes a project that uses
    TPA
    0 references
    Tyrolean
    0 references

    Identifiers

    zbMATH DE Number
    6515505
    0 references
    OpenAlex ID
    W1440841471
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3454090&oldid=36216094"
    Powered by MediaWiki