A Characterization of Strong Equivalence for Logic Programs with Variables (Q5425408)

From MaRDI portal
scientific article; zbMATH DE number 5211336
Language Label Description Also known as
English
A Characterization of Strong Equivalence for Logic Programs with Variables
scientific article; zbMATH DE number 5211336

    Statements

    A Characterization of Strong Equivalence for Logic Programs with Variables (English)
    0 references
    13 November 2007
    0 references

    Identifiers