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
Annotation theories over finite graphs - MaRDI portal

Annotation theories over finite graphs (Q2269516)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Annotation theories over finite graphs
scientific article

    Statements

    title
    Annotation theories over finite graphs (English)
    0 references
    author
    Andrzej Szałas
    0 references
    Dov M. Gabbay
    0 references
    publication date
    17 March 2010
    0 references
    zbMATH Keywords
    argumentation theory
    0 references
    labeled graphs
    0 references
    annotations
    0 references
    semantics of logic programs
    0 references
    second-order quantifier elimination
    0 references
    cites work
    Q4406531
    0 references
    Q4411139
    0 references
    Q3126169
    0 references
    Q4850061
    0 references
    Q3543581
    0 references
    Q4247261
    0 references
    Q4329266
    0 references
    Q4250040
    0 references
    Q4003537
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B70
    0 references
    03C10
    0 references
    68N17
    0 references
    68Q17
    0 references
    68Q60
    0 references
    zbMATH DE Number
    5682312
    0 references
    OpenAlex ID
    W2077512555
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2269516&oldid=35156549"
    Powered by MediaWiki