Bottom-up evaluation of Datalog programs with arithmetic constraints (Q5210782)

From MaRDI portal
scientific article; zbMATH DE number 7154555
Language Label Description Also known as
English
Bottom-up evaluation of Datalog programs with arithmetic constraints
scientific article; zbMATH DE number 7154555

    Statements