Analysis of residuating logic programs (Q3125900)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Analysis of residuating logic programs
scientific article

    Statements

    Analysis of residuating logic programs (English)
    0 references
    0 references
    20 March 1997
    0 references
    residuation
    0 references
    logic programming languages
    0 references

    Identifiers