DaftarIsitemplate

Call Number

SEM-379

Title

Inference of Monotonicity Constraints in Datalog Programs (190-199)

Author

Alexander Brodsky Yehoshua Sagiv;

Publisher

Subject

Location