External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Foundational View on Integration Problems

Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen. A Foundational View on Integration Problems. In James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe, editors, Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings. Volume 6824 of Lecture Notes in Computer Science, pages 107-122, Springer, 2011. [doi]

Authors

Florian Rabe

This author has not been identified. It may be one of the following persons: Look up 'Florian Rabe' in Google

Michael Kohlhase

This author has not been identified. Look up 'Michael Kohlhase' in Google

Claudio Sacerdoti Coen

This author has not been identified. It may be one of the following persons: Look up 'Claudio Sacerdoti Coen' in Google
runs on