Mechanising first-order temporal resolution (Q2486579)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Mechanising first-order temporal resolution
scientific article

    Statements

    Mechanising first-order temporal resolution (English)
    0 references
    0 references
    5 August 2005
    0 references
    Clausal resolution
    0 references
    Temporal logics
    0 references
    Monodic fragment
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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