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.

Classification of Alignments Between Concepts of Formal Mathematical Systems

Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe. Classification of Alignments Between Concepts of Formal Mathematical Systems. In Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke, editors, Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Volume 10383 of Lecture Notes in Computer Science, pages 83-98, Springer, 2017. [doi]

Authors

Dennis Müller

This author has not been identified. Look up 'Dennis Müller' in Google

Thibault Gauthier

This author has not been identified. Look up 'Thibault Gauthier' in Google

Cezary Kaliszyk

This author has not been identified. Look up 'Cezary Kaliszyk' in Google

Michael Kohlhase

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

Florian Rabe

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