COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) (Q6492746)

From MaRDI portal
scientific article; zbMATH DE number 7838490
Language Label Description Also known as
English
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
scientific article; zbMATH DE number 7838490

    Statements

    COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    26 April 2024
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers