An investigation of 'non-intermingling' principles in temporal logic (Q4881300)

From MaRDI portal
scientific article; zbMATH DE number 885368
Language Label Description Also known as
English
An investigation of 'non-intermingling' principles in temporal logic
scientific article; zbMATH DE number 885368

    Statements

    An investigation of 'non-intermingling' principles in temporal logic (English)
    0 references
    0 references
    13 January 1997
    0 references
    intermingling
    0 references
    temporal logic
    0 references

    Identifiers