Qualitative Theorem Proving in Linear Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vijay Chandru, Jean-Louis Lassez. Qualitative Theorem Proving in Linear Constraints. In Nachum Dershowitz, editor, Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday. Volume 2772 of Lecture Notes in Computer Science, pages 395-406, Springer, 2003. [doi]

This author has not been identified. Look up 'Vijay Chandru' in GoogleThis author has not been identified. Look up 'Jean-Louis Lassez' in Google

runs on WebDSL