Loop Formulas for Splitable Temporal Logic Programs (Q3003245)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Loop Formulas for Splitable Temporal Logic Programs
scientific article

    Statements

    Loop Formulas for Splitable Temporal Logic Programs (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    26 May 2011
    0 references
    0 references
    0 references

    Identifiers