Polynomials, fragments of temporal logic and the variety DA over traces (Q880176)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Polynomials, fragments of temporal logic and the variety DA over traces
scientific article

    Statements

    Polynomials, fragments of temporal logic and the variety DA over traces (English)
    0 references
    0 references
    11 May 2007
    0 references
    Mazurkiewicz traces
    0 references
    polynomial closure
    0 references
    temporal logic
    0 references

    Identifiers