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
Transformations of logic programs on infinite lists - MaRDI portal

Transformations of logic programs on infinite lists (Q3585155)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Transformations of logic programs on infinite lists
scientific article

    Statements

    title
    Transformations of logic programs on infinite lists (English)
    0 references
    author
    Alberto Pettorossi
    0 references
    Maurizio Proietti
    0 references
    Valerio Senni
    0 references
    publication date
    19 August 2010
    0 references
    zbMATH Keywords
    program transformation
    0 references
    program verification
    0 references
    infinite lists
    0 references

    Identifiers

    zbMATH DE Number
    5773233
    0 references
    arXiv ID
    1007.4157
    0 references
    OpenAlex ID
    W2157162154
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3585155&oldid=37244442"
    Powered by MediaWiki