Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales (Q357923)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales
scientific article

    Statements

    Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales (English)
    0 references
    0 references
    15 August 2013
    0 references
    equivalence test
    0 references
    recursive programs
    0 references
    semigroups
    0 references

    Identifiers