No label defined (Q3126169)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    0 references
    0 references
    13 July 1997
    0 references
    second-order formulas
    0 references
    circumscription
    0 references
    generalization of Ackermann's lemma
    0 references
    semi-Horn formulas
    0 references
    logic programs
    0 references
    fixpoint calculus
    0 references
    bounded fixpoint formulas
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references