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

From MaRDI portal
Revision as of 01:29, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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