Symbolic Unfolding of Multi-adjoint Logic Programs (Q5215752)

From MaRDI portal
scientific article; zbMATH DE number 7166936
Language Label Description Also known as
English
Symbolic Unfolding of Multi-adjoint Logic Programs
scientific article; zbMATH DE number 7166936

    Statements

    Identifiers