Search Techniques for Rational Polynomial Orders - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp. Search Techniques for Rational Polynomial Orders. In Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, editors, Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Volume 5144 of Lecture Notes in Computer Science, pages 109-124, Springer, 2008. [doi]

This author has not been identified. Look up 'Carsten Fuhs' in GoogleThis author has not been identified. Look up 'Rafael Navarro-Marset' in GoogleThis author has not been identified. Look up 'Carsten Otto' in GoogleIdentified as Jürgen Giesl This author has not been identified. It may be one of the following persons:

Salvador Lucas

Look up 'Salvador Lucas' in GoogleThis author has not been identified. Look up 'Peter Schneider-Kamp' in Google

runs on WebDSL