An iterative algorithm of computing the transitive closure of a union of parametrized affine integer tuple relations (Q2905312)

From MaRDI portal





scientific article; zbMATH DE number 6072549
Language Label Description Also known as
English
An iterative algorithm of computing the transitive closure of a union of parametrized affine integer tuple relations
scientific article; zbMATH DE number 6072549

    Statements

    0 references
    0 references
    0 references
    0 references
    27 August 2012
    0 references
    parametrized graph
    0 references
    tuple relation
    0 references
    transitive closure
    0 references
    iterative algorithm
    0 references
    An iterative algorithm of computing the transitive closure of a union of parametrized affine integer tuple relations (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references