Strong Equivalence of Logic Programs with Counting (Q5038462)

From MaRDI portal
scientific article; zbMATH DE number 7595326
Language Label Description Also known as
English
Strong Equivalence of Logic Programs with Counting
scientific article; zbMATH DE number 7595326

    Statements

    Identifiers