Inference of Inequality Constraints in Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexander Brodsky, Yehoshua Sagiv. Inference of Inequality Constraints in Logic Programs. In Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 29-31, 1991, Denver, Colorado. pages 227-240, ACM Press, 1991. [doi]

This author has not been identified. Look up 'Alexander Brodsky' in GoogleThis author has not been identified. Look up 'Yehoshua Sagiv' in Google

runs on WebDSL