CoLoSS: The Coalgebraic Logic Satisfiability Solver (Q4982113)

From MaRDI portal
scientific article; zbMATH DE number 6418733
Language Label Description Also known as
English
CoLoSS: The Coalgebraic Logic Satisfiability Solver
scientific article; zbMATH DE number 6418733

    Statements

    CoLoSS: The Coalgebraic Logic Satisfiability Solver (English)
    0 references
    0 references
    23 March 2015
    0 references
    modal logic
    0 references
    automatic proving
    0 references
    coalgebra
    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
    0 references