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 finitely recursive programs - MaRDI portal

On finitely recursive programs (Q3621269)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On finitely recursive programs
scientific article

    Statements

    title
    On finitely recursive programs (English)
    0 references
    author
    Sabrina Baselice
    0 references
    Giovanni Criscuolo
    0 references
    Piero A. Bonatti
    0 references
    publication date
    15 April 2009
    0 references
    zbMATH DE Number
    5544025
    0 references
    zbMATH Keywords
    answer set programming with infinite domains
    0 references
    infinite stable models
    0 references
    finitary programs
    0 references
    compactness
    0 references
    skeptical resolution
    0 references
    OpenAlex ID
    W1965483956
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3621269&oldid=37343973"
    Powered by MediaWiki