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
Automatic Correctness Proofs for Logic Program Transformations - MaRDI portal

Automatic Correctness Proofs for Logic Program Transformations (Q3608667)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automatic Correctness Proofs for Logic Program Transformations
scientific article

    Statements

    title
    Automatic Correctness Proofs for Logic Program Transformations (English)
    0 references
    author
    Alberto Pettorossi
    0 references
    Maurizio Proietti
    0 references
    Valerio Senni
    0 references
    publication date
    5 March 2009
    0 references

    Identifiers

    zbMATH DE Number
    5523625
    0 references
    OpenAlex ID
    W1944291887
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3608667&oldid=31546243"
    Powered by MediaWiki