Algebraic methods in the compositional analysis of logic programs (Q5096873)

From MaRDI portal
scientific article; zbMATH DE number 7573178
Language Label Description Also known as
English
Algebraic methods in the compositional analysis of logic programs
scientific article; zbMATH DE number 7573178

    Statements

    Algebraic methods in the compositional analysis of logic programs (English)
    0 references
    0 references
    0 references
    0 references
    18 August 2022
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers