On the expressive power of Kleene algebra with domain (Q903368)

From MaRDI portal
Revision as of 07:57, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On the expressive power of Kleene algebra with domain
scientific article

    Statements

    title
    On the expressive power of Kleene algebra with domain (English)
    0 references
    author
    Georg Struth
    0 references
    publication date
    5 January 2016
    0 references
    zbMATH Keywords
    semirings
    0 references
    Kleene algebras
    0 references
    expressive power
    0 references
    Hoare logic
    0 references
    program correctness
    0 references

    Identifiers

    zbMATH DE Number
    6526579
    0 references
    OpenAlex ID
    W1007073359
    0 references
    arXiv ID
    1507.07246
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q903368&oldid=38530504"
    Powered by MediaWiki