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
Kleene Algebra with Products and Iteration Theories - MaRDI portal

Kleene Algebra with Products and Iteration Theories (Q2958536)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Kleene Algebra with Products and Iteration Theories
scientific article

    Statements

    author
    Dexter Kozen
    0 references
    Konstantinos Mamouras
    0 references
    publication date
    2 February 2017
    0 references
    zbMATH Keywords
    Kleene algebra
    0 references
    typed Kleene algebra
    0 references
    iteration theories
    0 references
    title
    Kleene Algebra with Products and Iteration Theories (English)
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q70
    0 references
    18C10
    0 references
    18C20
    0 references
    18D10
    0 references
    zbMATH DE Number
    6680150
    0 references
    OpenAlex ID
    W1549145950
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2958536&oldid=39246292"
    Powered by MediaWiki