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
Simple Bisimilarity Minimization in O(m log n) Time - MaRDI portal

Simple Bisimilarity Minimization in O(m log n) Time (Q3084988)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Simple Bisimilarity Minimization in O(m log n) Time
scientific article

    Statements

    title
    Simple Bisimilarity Minimization in O(m log n) Time (English)
    0 references
    author
    Antti Valmari
    0 references
    publication date
    28 March 2011
    0 references
    zbMATH Keywords
    bisimilarity minimization of labelled directed graphs
    0 references
    splitter
    0 references
    transitions
    0 references

    Identifiers

    DOI
    10.3233/FI-2010-369
    0 references
    zbMATH DE Number
    5870678
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3084988&oldid=27475839"
    Powered by MediaWiki