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
Guards, bounds, and generalized semantics - MaRDI portal

Guards, bounds, and generalized semantics (Q2567341)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Guards, bounds, and generalized semantics
scientific article

    Statements

    title
    Guards, bounds, and generalized semantics (English)
    0 references
    publication date
    4 October 2005
    0 references
    zbMATH Keywords
    fixed-point logic
    0 references
    Guarded Fragment
    0 references
    satisfiability
    0 references
    general assignment models
    0 references
    guarded syntax
    0 references
    effective axiomatizability in second-order logic
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B20
    0 references
    03B25
    0 references
    03B45
    0 references
    zbMATH DE Number
    2211681
    0 references
    OpenAlex ID
    W2162343864
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2567341&oldid=34423123"
    Powered by MediaWiki