On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs (Q3642867)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
scientific article

    Statements

    On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs (English)
    0 references
    0 references
    0 references
    0 references
    6 November 2009
    0 references
    fixed points
    0 references
    multivalued mappings
    0 references
    lattices
    0 references
    logic programming
    0 references

    Identifiers

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