Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai. Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas. In Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap, editors, Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers. Volume 9582 of Lecture Notes in Computer Science, pages 236-251, Springer, 2015. [doi]

This author has not been identified. Look up 'Munehiro Kobayashi' in GoogleThis author has not been identified. Look up 'Hidenao Iwane' in GoogleThis author has not been identified. Look up 'Takuya Matsuzaki' in GoogleThis author has not been identified. Look up 'Hirokazu Anai' in Google

runs on WebDSL