A Nonlinear Real Arithmetic Fragment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ashish Tiwari, Patrick Lincoln. A Nonlinear Real Arithmetic Fragment. In Armin Biere, Roderick Bloem, editors, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Volume 8559 of Lecture Notes in Computer Science, pages 729-736, Springer, 2014. [doi]

This author has not been identified. Look up 'Ashish Tiwari' in GoogleThis author has not been identified. Look up 'Patrick Lincoln' in Google

runs on WebDSL