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

From MaRDI portal
Revision as of 01:19, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
On the expressive power of Kleene algebra with domain
scientific article

    Statements

    On the expressive power of Kleene algebra with domain (English)
    0 references
    0 references
    5 January 2016
    0 references
    semirings
    0 references
    Kleene algebras
    0 references
    expressive power
    0 references
    Hoare logic
    0 references
    program correctness
    0 references

    Identifiers