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.

Translating the IMPS Theory Library to MMT/OMDoc

Jonas Betzendahl, Michael Kohlhase. Translating the IMPS Theory Library to MMT/OMDoc. In Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef, editors, Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings. Volume 11006 of Lecture Notes in Computer Science, pages 7-22, Springer, 2018. [doi]

Authors

Jonas Betzendahl

This author has not been identified. Look up 'Jonas Betzendahl' in Google

Michael Kohlhase

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