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
Verified Efficient Implementation of Gabow’s Strongly Connected Component Algorithm - MaRDI portal

Verified Efficient Implementation of Gabow’s Strongly Connected Component Algorithm (Q2879261)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Verified Efficient Implementation of Gabow’s Strongly Connected Component Algorithm
scientific article

    Statements

    title
    Verified Efficient Implementation of Gabow’s Strongly Connected Component Algorithm (English)
    0 references
    author
    Peter Lammich
    0 references
    publication date
    8 September 2014
    0 references
    Mathematics Subject Classification ID
    68T15
    0 references
    05C20
    0 references
    05C40
    0 references
    05C85
    0 references
    zbMATH DE Number
    6341490
    0 references
    describes a project that uses
    ML
    0 references
    Isabelle/HOL
    0 references
    Isabelle
    0 references
    HOL
    0 references
    Archive Formal Proofs
    0 references
    Native Word
    0 references
    Refinement Monadic
    0 references
    Collections
    0 references
    OpenAlex ID
    W91886818
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2879261&oldid=31590912"
    Powered by MediaWiki