Superposition Modulo Non-linear Arithmetic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach. Superposition Modulo Non-linear Arithmetic. In Cesare Tinelli, Viorica Sofronie-Stokkermans, editors, Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings. Volume 6989 of Lecture Notes in Computer Science, pages 119-134, Springer, 2011. [doi]

This author has not been identified. Look up 'Andreas Eggers' in GoogleThis author has not been identified. Look up 'Evgeny Kruglov' in GoogleThis author has not been identified. Look up 'Stefan Kupferschmid' in GoogleThis author has not been identified. Look up 'Karsten Scheibler' in GoogleThis author has not been identified. Look up 'Tino Teige' in GoogleThis author has not been identified. Look up 'Christoph Weidenbach' in Google

runs on WebDSL