No label defined (Q4362921)

From MaRDI portal
scientific article; zbMATH DE number 1086671
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1086671

    Statements

    0 references
    0 references
    13 November 1997
    0 references
    Kleene algebras with tests
    0 references
    equational specification and verification
    0 references
    completeness
    0 references
    equational theory
    0 references
    *-continuous Kleene algebra
    0 references
    decidability
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references