A simple polynomial groundness analysis for logic programs (Q4507857)

From MaRDI portal
scientific article; zbMATH DE number 1515319
Language Label Description Also known as
English
A simple polynomial groundness analysis for logic programs
scientific article; zbMATH DE number 1515319

    Statements

    A simple polynomial groundness analysis for logic programs (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    10 October 2000
    0 references
    positive Boolean functions
    0 references
    Pos
    0 references

    Identifiers