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 Universal Machine for Biform Theory Graphs

Michael Kohlhase, Felix Mance, Florian Rabe. A Universal Machine for Biform Theory Graphs. In Jacques Carette, David Aspinall, Christoph Lange 0002, Petr Sojka, Wolfgang Windsteiger, editors, Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Volume 7961 of Lecture Notes in Computer Science, pages 82-97, Springer, 2013. [doi]

Authors

Michael Kohlhase

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

Felix Mance

This author has not been identified. Look up 'Felix Mance' 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