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 Restricted Chase Termination - MaRDI portal

Uniform Restricted Chase Termination (Q6156026)

From MaRDI portal
scientific article; zbMATH DE number 7693608
Language Label Description Also known as
English
Uniform Restricted Chase Termination
scientific article; zbMATH DE number 7693608

    Statements

    title
    Uniform Restricted Chase Termination (English)
    0 references
    author
    Tomasz Gogacz
    0 references
    Jerzy Marcinkowski
    0 references
    Andreas Pieris
    0 references
    publication date
    9 June 2023
    0 references
    zbMATH Keywords
    restricted chase
    0 references
    uniform chase termination
    0 references
    tuple-generating dependencies
    0 references
    guardedness
    0 references
    stickiness
    0 references
    decidability
    0 references
    monadic second-order logicy
    0 references
    Büchi automata
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68P15
    0 references
    03B70
    0 references
    03D05
    0 references
    zbMATH DE Number
    7693608
    0 references
    OpenAlex ID
    W4377712667
    0 references
    DOI
    10.1137/20M1377035
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6156026&oldid=39732756"
    Powered by MediaWiki