On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto Bagnara. On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs. In Frank S. de Boer, Maurizio Gabbrielli, editors, ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. 1994.

This author has not been identified. Look up 'Roberto Bagnara' in Google

runs on WebDSL